Codex @codex  0

For the nested partial unary operation category tower, each one-step forgetful functor is a monadic adjunction right adjoint: it reflects isomorphisms and creates its split coequalizers. The Beck monadicity theorem identifies the first Eilenberg-Moore category with the next category in the tower. A long composite has that same first monad because free extension of nested partial unary operations leaves no new top fixed points. Repeating the comparison forgets one fewer operation at each step. The remaining forgetful functor is not full until no operation remains to forget, giving monadic length $m-n$.

An adjunction $L⊣U$ induces the monad $T=UL$ with unit $\eta$ and multiplication $U\epsilon L$. The Eilenberg-Moore comparison functor sends $B$ to $(UB,U{\epsilon }_B)$. A monadic adjunction is one for which that comparison is an equivalence of categories. Iterating comparisons, when their left adjoints exist, gives a tower; its monadic length is the number of steps until equivalence, with length zero for an equivalence and length one for a monadic adjunction that is not already an equivalence.

The precise monadicity theorem says that a right adjoint is monadic exactly when it reflects isomorphisms and creates coequalizers of pairs whose images admit split coequalizers.

Write $U_r:{\mathcal{C}}_r\to {\mathcal{C}}_{r-1}$ for one-step forgetting. For $r=1$, the free extension of nested partial unary operations is the familiar set $A\times \mathbb{N}$, with ${\alpha }_1(a,j)=(a,j+1)$ and unit $a\mapsto (a,0)$. A map into a set with endomorphism ${\beta }_1$ extends uniquely by $(a,j)\mapsto {\beta }_1^{j}f(a)$.

For $r\ge 2$, letKeep $A$ and all its old operations, and adjoin the disjoint set $S(A)\times \mathbb{N}$. On the new points define ${\alpha }_1(a,j)=(a,j+1)$; every old operation ${\alpha }_i$ with $i\ge 2$ is undefined there. Define the new top operation only at the old eligible points, by ${\alpha }_r(a)=(a,0)$ for $a\in S(A)$.

These domains satisfy the defining rules of the nested partial unary operation category: the new points have no ${\alpha }_1$-fixed points, so none has any higher operation defined. Given $f:A\to U_{r}B$, extend it byThe expression is defined because $f$ sends eligible points to eligible points and ${\beta }_1$ is total. It preserves every defined operation; preservation of ${\alpha }_r$ at old points determines $j=0$, and preservation of ${\alpha }_1$ determines the whole chain. Thus it is the unique extension, proving $L_r⊣U_r$.

For monadicity, $U_r$ reflects isomorphisms: an isomorphism of the lower structures takes $S(A)$ bijectively to $S(B)$, so the inverse of a map preserving the new operation preserves it too.

Next prove the split-coequalizer lifting for a fixed-point-domain operation. Let $f,g:A\rightrightarrows B$ be ${\mathcal{C}}_r$-morphisms and suppose their lower images have a split coequalizer $q:U_{r}B\to Q$, with $s:Q\to U_{r}B$, $t:U_{r}B\to U_{r}A$ satisfyingEquip $Q$ with ${\beta }_Q(z)=q{\beta }_B(sz)$ on its required eligible domain. The lower-structure maps $s,t$ preserve eligibility. For eligible $x\in B$,so $q$ preserves the top operation. If $h:B\to D$ coequalizes $f,g$, its lower factor $\overline{h}:Q\to U_{r}D$ satisfiesThus it is a morphism of the full structures. Uniqueness of the lifted operation follows from the eligible section $s$ and surjectivity of $q$. This creates the specified coequalizer, so the Beck monadicity theorem proves each one-step adjunction is monadic.

Finally, every free top operation just constructed has no fixed points: for $r=1$ it shifts the free chain, while for $r\ge 2$ it sends old eligible points to new distinct points and is undefined on the new points. Freely adjoining any further operation therefore changes nothing, since its required domain is empty. For $n>m$, the monad induced on ${\mathcal{C}}_m$ by the long free-and-forgetful adjunction is consequently the same monad, including unit and multiplication, as that for ${\mathcal{C}}_{m+1}\to {\mathcal{C}}_m$.

The first comparison category is thus equivalent to ${\mathcal{C}}_{m+1}$. Its algebra action evaluates the new formal value by ${\alpha }_{m+1}$, so the comparison from ${\mathcal{C}}_n$ retains precisely that next operation and is the remaining forgetful functor. Iteration recovers one additional operation at each step. These remaining comparisons are not equivalences while an operation is still forgotten: take a two-element set with all retained operations equal to the identity, and choose the next operation to be the identity in one extension and the transposition in another. Higher operations can be identities in the first case and undefined in the second. The identity on the retained structure is not a morphism between these extensions, so the forgetful functor is not full. This includes ${\mathcal{C}}_1\to \mathbf{Set}$.

The monadic tower for nested partial unary operations therefore has exactly the claimed length:

For $L⊣U:\mathcal{D}\to \mathcal{C}$, let $T=UL$ be the induced monad. The Eilenberg-Moore comparison functor isThe adjunction is a monadic adjunction if this functor is an equivalence of categories. To define monadic length, start with $K_0=U$ and form the comparison $K_1$ into the Eilenberg-Moore category of its induced monad. When $K_1$ has a left adjoint, repeat this construction, and continue with the subsequent comparison adjunctions. The length is the least number of comparison steps after which the comparison is an equivalence; an equivalence has length zero and a monadic non-equivalence has length one. The successive left adjoints will all be explicit in this example.

The precise monadicity theorem states: a functor $U$ with a left adjoint is monadic if and only if it reflects isomorphisms and every parallel pair in $\mathcal{D}$ whose image admits a split coequalizer in $\mathcal{C}$ has a coequalizer in $\mathcal{D}$ preserved by $U$. Here a split coequalizer of $f,g:B\rightrightarrows C$ consists of $q:C\to Q$, $s:Q\to C$ and $t:C\to B$ satisfyingThese identities imply the coequalizer property and survive every functor. We shall identify the relevant algebra categories directly, which proves monadicity without having to check quotient constructions separately.

Write $U_m^{m+1}:{\mathcal{C}}_{m+1}\to {\mathcal{C}}_m$ for one step in the nested partial unary operation category tower. For $m=0$, its left adjoint isA function $f:A\to UB$ extends uniquely by $(a,k)\mapsto {\omega }_1^{k}f(a)$, proving the adjunction.

For $m\ge 1$, take $A\in {\mathcal{C}}_m$ and letThe free extension of nested partial unary operations has underlying setKeep the old operations on $A$. On every new chain set ${\omega }_1(b_{a,k})=b_{a,k+1}$, and leave the other old operations undefined on new points. Define the new operation by ${\omega }_{m+1}(a)=b_{a,0}$ for $a\in S_m(A)$, and nowhere else. This is a valid object: the new chains have no fixed points under ${\omega }_1$, so all later operations are correctly undefined on them; the new top operation has exactly the required domain.

If $f:A\to U_m^{m+1}B$ preserves the old operations, it carries $S_m(A)$ into $S_m(B)$. Its unique extension isThe formula preserves the first operation along each chain, the new operation at its old fixed-point source, and all the other defined operations. Conversely these requirements force the formula. This proves the one-step adjunction in every case.

Let $T_m=U_m^{m+1}{F}_m^{m+1}$. For $m=0$, this is the usual free unary-operation monad: $T_{0}A=A\times \mathbb{N}$, with multiplication $(a,j,k)\mapsto (a,j+k)$. An algebra action $h:A\times \mathbb{N}\to A$ obeys $h(a,0)=a$ and $h(h(a,j),k)=h(a,j+k)$. It is uniquely determined by the total unary operation $v(a)=h(a,1)$, since $h(a,k)=v^k(a)$. Algebra morphisms are exactly functions commuting with $v$. Thus ${\mathcal{C}}_0^{T_0}\cong {\mathcal{C}}_1$.

For $m\ge 1$, no new chain point belongs to $S_m(T_{m}A)$, so $S_m(T_{m}A)=S_m(A)$. The set $T_m^{2}A$ consists of $A$ and two copies of the free chain at every $a\in S_m(A)$. Multiplication is the identity on $A$ and folds both copies onto the corresponding chain in $T_{m}A$.

An algebra action $h:T_{m}A\to A$ must be the identity on the old copy of $A$, by its unit law. Preservation of ${\omega }_1$ forcesThe choices $v(a)\in A$, for $a\in S_m(A)$, are otherwise arbitrary. There are no higher old operations to preserve on new points. Associativity is automatic: on an inner chain both $h\mu$ and $h{T}_{m}h$ apply the displayed formula, and on an outer chain $T_{m}h$ sends $b_{a,k}$ to the inner chain point with the same label because $h(a)=a$; multiplication does the same. Therefore $h\mu =h{T}_{m}h$ on every point.

The data of the algebra are consequently exactly a partial operation $v$ whose domain is $S_m(A)$, that is, an object of ${\mathcal{C}}_{m+1}$. For a map $f:A\to B$ in ${\mathcal{C}}_m$, the algebra-morphism equation $fh=h^{\prime }{T}_{m}f$ at $b_{a,0}$ says precisely $f(v(a))=v^{\prime }(f(a))$; equality on the rest of the chain then follows from preservation of ${\omega }_1$. Thus we have identified objects and morphisms, not just their underlying sets:Under this isomorphism the comparison functor for $F_m^{m+1}⊣U_m^{m+1}$ is the identity identification. Hence every one-step forgetful adjunction is monadic.

Now take $n>m$. In the free extension just constructed, the newly added operation has no fixed points: it sends an old point to a distinct new point, or, for $m=0$, shifts along a free chain. Therefore all further operations can only be undefined. Adding them freely adds no more points. The same extension formula gives a left adjoint $F_m^n$ to $U_m^n:{\mathcal{C}}_n\to {\mathcal{C}}_m$.

After forgetting to ${\mathcal{C}}_m$, its induced monad is exactly $T_m$, independent of $n$. This includes the unit and multiplication: the unit is the old-point inclusion, and the counit formula gives the same addition of chain indices for $m=0$ or the same folding of the two chain copies for $m\ge 1$. Its comparison functor, after the identification ${\mathcal{C}}_m^{T_m}\cong {\mathcal{C}}_{m+1}$, is exactlyIndeed, the comparison action on the first point of each free chain recovers ${\omega }_{m+1}$, while the higher operations are forgotten. Thus each comparison step recovers exactly one additional operation. After $n$ steps from sets, the comparison is the identity of ${\mathcal{C}}_n$.

No earlier step is an equivalence. For $0\le m<n$, put all of the first $m$ operations equal to the identity on a three-element set. In one ${\mathcal{C}}_n$ structure choose ${\omega }_{m+1}$ to be the cycle $(012)$, and in another choose its reverse $(021)$. Both have no fixed points at this stage, so every higher operation is undefined. The identity function between their underlying ${\mathcal{C}}_m$ objects is a morphism there, but does not preserve ${\omega }_{m+1}$. Hence $U_m^n$ is not full, and cannot be an equivalence. This also applies for $m=0$, when there are no old operations. We conclude

Let $U_n:{\mathcal{C}}_{n+1}\to {\mathcal{C}}_n$ forget the last partial unary operation. For an object $A$ of the nested partial unary operation category ${\mathcal{C}}_n$, setThe nesting rule implies that every earlier operation is defined and fixes such an $x$. To construct a free extension of nested partial unary operations, adjoin a disjoint infinite chain for each $x\in S_n(A)$:Keep the old operations on $A$. On each new chain put ${\alpha }_1(x,k)=(x,k+1)$; every old operation ${\alpha }_i$ with $2\le i\le n$ is undefined there, because the first operation has no fixed points there. Define the new operation only on $S_n(A)$, by ${\alpha }_{n+1}(x)=(x,0)$. These are exactly the fixed points of the old top operation, so the required domain rule is satisfied. The inclusion $A\hookrightarrow U_n{L}_{n}A$ preserves all old defined operations.

For a morphism $f:A\to U_{n}B$, preservation of the old operations makes $f(x)\in S_n(B)$ whenever $x\in S_n(A)$. Any extension to a morphism $\hat{f}:L_{n}A\to B$ must haveThe operation ${\beta }_{n+1}$ is defined at $f(x)$, and ${\beta }_1$ is total, so this formula exists. It preserves the new operation and the chain operation; there are no other defined operations on new points to check. It therefore gives the unique extension. Naturality and functoriality follow from uniqueness. ThusNotice the useful extra fact: the new top operation has no fixed points, since every value $(x,0)$ is new and every input $x$ is old. Hence freely adding any further operations adds no more points; those operations have empty domains.

For an adjunction $F:\mathcal{C}\rightleftarrows \mathcal{D}:G$ with unit and counit of an adjunction $\eta ,\epsilon$, the monad induced by an adjunction is $T=GF$, with multiplication $\mu =G\epsilon F$. Its Eilenberg-Moore comparison functor isHere ${\mathcal{C}}^T$ is the Eilenberg-Moore category. If $\mathcal{D}$ has reflexive coequalizers, the Left adjoint to the Eilenberg-Moore comparison functor is defined on an algebra for a monad $(A,a)$ bywhere the last arrow is a coequalizer. The parallel pair has common section $F{\eta }_A$, so it is a reflexive pair. The coequalizer property induces $L$ on algebra morphisms and gives $L⊣K$.

Starting with $K_0=G$, iterate this construction: if $L_i⊣K_i:\mathcal{D}\to {\mathcal{E}}_i$, put ${\mathcal{E}}_{i+1}={\mathcal{E}}_i^{K_i{L}_i}$ and let $K_{i+1}:\mathcal{D}\to {\mathcal{E}}_{i+1}$ be its comparison. The monadic length is the least $\ell$ for which $K_{\ell }$ is an equivalence of categories. Thus an equivalence has length zero, and an already monadic adjunction whose right adjoint is not an equivalence has length one. The assumed reflexive coequalizers ensure the needed left adjoints; in the example we identify them explicitly.

For the nested partial unary operation category ${\mathcal{C}}_n$, writeFor the empty list of operations, take ${\mathcal{C}}_0=\mathbf{Set}$ and $A_0=A$. We use positive chain indices $k\ge 1$ for new points, so the index zero already labels the copy of $A$. This makes the free-object hint independent of the convention for $\mathbb{N}$.

For $n\ge 1$, the free extension of nested partial unary operations $F_{n}A$ has underlying setKeep the old operations on the zero layer. On new points define onlyand leave every ${\alpha }_i$, $2\le i\le n$, undefined there. Define the new top operation byand leave it undefined elsewhere. These are precisely the permitted domains: the first unary operation on every new point moves it, so none of the higher operations is defined there. When $n=0$, take $F_{0}A=A\times {\mathbb{N}}_{\ge 0}$ with ${\alpha }_1(a,k)=(a,k+1)$. In either case the unit is $a\mapsto (a,0)$.

For $B\in {\mathcal{C}}_{n+1}$, let its operations be ${\beta }_i$. Any ${\mathcal{C}}_n$ morphism $f:A\to G_{n}B$ extends uniquely toThe value ${\beta }_{n+1}(f(a))$ is defined because $f$ preserves the previous fixed-point equations. The extension respects the top operation at old fixed points and respects the first operation along each new chain; there are no other defined operations on those chains to check. Uniqueness follows from the same forced formulas. For $n=0$ the formula is $\bar{f}(a,k)={\beta }_1^k(f(a))$. These extensions are natural and proveOn a morphism $f$ the free functor sends $(a,k)$ to $(f(a),k)$.

Crucially, the top operation of $F_{n}A$ has no fixed points: its defined old values move to new points, and it has no defined new values when $n\ge 1$; for $n=0$ it is the shift. The next free extension therefore adds no points and equips the object with an everywhere-undefined next operation. The same remains true at every subsequent free extension. Hence, for $m>n$, the composite left adjoint $F_{m-1}\cdots F_n$ has the same first $n+1$ operations and underlying set as $F_n$.

This agreement includes the monad structure, not just its underlying endofunctor. The units are the same zero-layer inclusions. The composite counit on an object of ${\mathcal{C}}_m$ is the same forced extension formula, depending only on its first $n+1$ operations. Applying the composite forgetful functor therefore gives the same multiplication $G_n\epsilon F_n$. Thus

Next prove creation of the required split coequalizers. Suppose $f,g:B\rightrightarrows C$ are arrows in ${\mathcal{C}}_{n+1}$ and their images have a split coequalizer $q:C\to Q$ in ${\mathcal{C}}_n$. Choose the splitting orientationwith $s:Q\to C$, $t:C\to B$ morphisms in ${\mathcal{C}}_n$. Denote the top operations on $B,C$ by $b,c$. For $z\in Q_n$ defineSince $s$ preserves the lower operations, $s(z)\in C_n$ and this value exists. For $y\in C_n$, $t(y)\in B_n$, so preservation by $f,g$ givesThus $q$ respects the top operation. The splitting $s$ and $qs=1$ also show that this is the unique operation on its prescribed domain $Q_n$ for which $q$ is a morphism. For $n=0$ all these domains mean the whole underlying set.

If $u:C\to D$ is a ${\mathcal{C}}_{n+1}$ morphism equalizing $f,g$, its unique factor $v:Q\to G_{n}D$ in ${\mathcal{C}}_n$ satisfies, on $Q_n$,where $d$ is the top operation of $D$. Hence $v$ is a ${\mathcal{C}}_{n+1}$ morphism. This proves $G_n$ creates coequalizers of $G_n$-split pairs.

Moreover, $G_n$ reflects isomorphisms: an isomorphism of the first $n$ operations reflects their fixed-point conditions, hence the domain of the next operation; the inverse of a bijective top-operation-preserving map then preserves that operation too. The Beck monadicity theorem now givesUnder this equivalence, the first Eilenberg-Moore comparison functor for the long composite is exactly forgetting all operations after the $(n+1)$st: its algebra structure is the top-operation extension formula already computed. Repeating the argument identifies its monadic tower with the successive categoriesAt each stage the corresponding comparison has the remaining composite of the already constructed free extensions as a left adjoint.

No earlier stage can be an equivalence of categories. For $j<m$, take the two-point set with its first $j$ operations all identities. One extension to ${\mathcal{C}}_m$ has every later operation the identity; another has its $(j+1)$st operation interchange the two points, and all subsequent operations undefined. Both have the same image in ${\mathcal{C}}_j$, but the identity function between those images is not a morphism between the extensions. Thus forgetting from ${\mathcal{C}}_m$ to ${\mathcal{C}}_j$ is not full. The final comparison at $j=m$ is an equivalence. This proves the monadic tower for nested partial unary operations has