Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 22 / 6 / Solution

For an idempotent monad, the unit laws give $T\eta =\eta T={\mu }^{-1}$. If $a:TA\to A$ is an algebra, $a{\eta }_A=1$ and naturality giveThus algebras are exactly the objects on which ${\eta }_A$ is invertible, with the unique algebra structure ${\eta }_A^{-1}$. They form a full reflective subcategory with reflector $T$. The assumed preservation of finite limits makes this a left-exact reflective subcategory.

For a subobject $S\hookrightarrow A$, define its closure byusing the unit and the monomorphism $TS\hookrightarrow TA$. This closure operation induced by a left-exact reflector is extensive by unit naturality, stable under pullback and preserves intersections because $T$ preserves finite limits. Applying $T$ to its defining square and using $T\eta$ invertible identifies $T\overline{S}$ with $TS$ over $TA$. Closing a second time therefore gives the same subobject. It is a universal idempotent closure operation, hence defines a local operator $j$ by classifying the closure of $t:1\hookrightarrow \Omega$; closure of any mono is then classified by composing its classifier with $j$.

A mono $s:S\hookrightarrow A$ is $j$-dense exactly when $Ts$ is invertible. One implication follows immediately from the closure square. Conversely if its closure is all of $A$, the unit ${\eta }_A$ factors through $Ts$. Applying $T$ and using the invertible $T{\eta }_A$ makes $Ts$ split epic; since it is also monic, it is invertible. Every fixed object $B$ is consequently a $j$-sheaf, since the adjunction givesand a dense restriction becomes an isomorphism.

Conversely let $B$ be a $j$-sheaf. Its diagonal is closed: the two projections from the closure of the diagonal agree on the dense diagonal, so uniqueness of extension into $B$ makes them agree everywhere. The closure formula identifies this closed diagonal with the kernel pair of ${\eta }_B$, since $T$ takes the diagonal of $B$ to the diagonal of $TB$. Thus ${\eta }_B$ is monic. Also $T{\eta }_B$ is invertible, so this mono is dense. The sheaf property extends $1_B$ across it to a retraction $TB\to B$. Since $TB$ is fixed and hence itself a sheaf, uniqueness across that dense mono also makes the other composite the identity. Therefore ${\eta }_B$ is invertible. We have proved the algebra category is exactly the category of $j$-sheaves.

Its topos structure is concrete. Finite limits are computed in $\mathcal{E}$. For sheaves $A,B$, the ambient exponential $B^A$ is a sheaf: extension across a dense mono reduces, by transposition, to extension into $B$ across its product with $A$, again a dense mono. The classifier is ${\Omega }_j=\mathrm{Eq}(j,1_{\Omega })$ with the induced truth point; it classifies closed subobjects. Colimits are obtained by taking the ambient colimit and applying $T$. These supply an elementary topos, as required.

For the second part, use the square reader monadThe two unit laws select $(a,b)$ again. Each side of associativity selects the entries indexed $(0,0,0)$ and $(1,1,1)$ in an eight-entry array, so the monad laws hold. An algebra is an operation $\ast :A\times A\to A$ satisfyingThese imply associativity, since $(x\ast y)\ast z=(x\ast y)\ast (z\ast z)=x\ast z$ and $x\ast (y\ast z)=(x\ast x)\ast (y\ast z)=x\ast z$. They are the rectangular band laws.

For nonempty $A$, choose $e\in A$, and put $B=\{a\ast e:a\in A\}$, $C=\{e\ast a:a\in A\}$. Define $\varphi (a)=(a\ast e,e\ast a)$ and $\psi (b,c)=b\ast c$. Then $(a\ast e)\ast (e\ast a)=a\ast a=a$, and for $b=x\ast e$, $c=e\ast y$ the laws give $(b\ast c)\ast e=b$ and $e\ast (b\ast c)=c$. Thus $\varphi ,\psi$ are inverse bijections. In these coordinates the operation isConversely any nonempty product with this operation satisfies the algebra laws, proving the requested correspondence with product decompositions. A homomorphism between nonempty products has its first coordinate depending only on the first factor and its second only on the second, as follows by applying it to the displayed operation. Hence it is exactly a pair of factor maps. There is in addition the unique empty algebra, a strict initial object.

This algebra category is Cartesian closed. For nonempty $A=B\times C$ and $D=E\times F$, its exponential is $E^B\times F^C$ with rectangular multiplication: the usual set adjunction in each factor gives the universal property. For the empty cases, $D^0=1$ and $0^A=0$ when $A$ is nonempty; these formulas also give $0^0=1$. They verify the adjunction against empty test objects as well. Thus the algebra category is Cartesian closed.

It is not a topos. If a classifier existed, its global elements would correspond to the two subobjects of the terminal singleton algebra, so its underlying set would have two elements. A two-element rectangular band is either left-zero or right-zero: its two nonempty factors have sizes $(2,1)$ or $(1,2)$. A homomorphism from the four-element band $\{0,1\}\times \{0,1\}$ to a left-zero classifier depends only on the first coordinate, so the preimage of truth cannot be a single point; for a right-zero classifier the same failure occurs in the second coordinate. Yet a single point is a subalgebra and its inclusion is monic. Pullbacks of algebra maps are computed on underlying sets, so this subobject could not be classified. Therefore there is no subobject classifier and the algebra category is not a topos, despite its cartesian closure.