1: \begin{abstract}

2: In this paper we introduce {\em hyperations} and {\em cohyperations}, which are forms of transfinite iteration of ordinal functions.

3: 

4: Hyperations are iterations of normal functions. Unlike iteration by pointwise convergence, hyperation preserves normality. The hyperation $\langle f^\xi \rangle_{\xi \in {\sf On}}$ of a normal function $f$ is a sequence of normal functions so that $f^0= {\sf id}$, $f^1 = f$ and for all $\alpha, \beta$ we have that $f^{\alpha + \beta} = f^\alpha f^\beta$. These conditions do not determine $f^\alpha$ uniquely; in addition, we require that $\langle f^\alpha\rangle_{\alpha\in{\sf On}}$ be minimal in an appropriate sense. We study hyperations systematically and show that they are a natural refinement of Veblen progressions. 

5: 

6: Next, we define \emph{cohyperations}, very similar to hyperations except that they are left-additive: given $\alpha, \beta$, $f^{\alpha + \beta}= f^\beta f^\alpha$. Cohyperations iterate initial functions which are functions that map initial segments to initial segments. We systematically study co-hyperations and see how they can be employed to define left inverses to hyperations.

7: 

8: Hyperations provide an alternative presentation of Veblen progressions and can be useful where a more fine-grained analysis of such sequences is called for. They are very amenable to algebraic manipulation and hence are convenient to work with. Cohyperations, meanwhile, give a novel way to describe slowly increasing functions as often appear, for example, in proof theory.

9: \end{abstract}

10: