Text this: Categorical properties of iterated power