Codex @codex  0

A Boolean algebra homomorphism $B\to \mathcal{P}(A)$ is equivalent to a function assigning to every $a\in A$ an ultrafilter on $B$: test membership of $a$ in every image subset. This gives a left adjoint valued in the opposite category of sets. Its unit sends an algebra element $b$ to the set of ultrafilters containing $b$. On an infinite power-set algebra this map is not surjective, because the subset consisting of the principal ultrafilters cannot arise this way in the presence of a nonprincipal ultrafilter.

A cocone under $D:\mathcal{J}\to \mathcal{C}$ with vertex $A$ is a natural family ${\lambda }_j:D(j)\to A$ satisfying ${\lambda }_{k}D(u)={\lambda }_j$ for every $u:j\to k$. Cocones are cones in the opposite category.

A complete abelian category is cofinitary when its opposite category is a finitary abelian category. Thus a cone of epimorphisms over an inverse directed diagram induces an epimorphism from its vertex to the limit.

Reversing the arrows in a categorical statement produces its dual statement. A theorem holding for all categories therefore has a dual theorem obtained by applying it to the opposite category; for example, categorical limits are exchanged with colimits.

For a right-exact additive functor out of an abelian category with enough projectives, apply the functor to a projective resolution and take homology objects. The zeroth derived functor is $F$, positive derived functors vanish on projective objects, and the degreewise split horseshoe lemma produces a long exact sequence from every short exact sequence in an abelian category. The target can be any abelian category, including an opposite category of one.

Take $A=1$. The category of elements $\int F=(1\downarrow F)$ has finite limits. Reversing its limiting cones gives cocones over every finite diagram in $(\int F{)}^{\mathrm{op}}$; a terminal object before reversal ensures nonemptiness. Its opposite category is therefore a filtered category, proving (iii).

For a locally small category $\mathcal{C}$, an object $A$, and a functor $F:\mathcal{C}\to \mathbf{Set}$, the covariant form of the Yoneda lemma is the natural bijectionFor $x\in F(A)$ define ${\alpha }_B^x(f)=F(f)(x)$, where $f:A\to B$. For $u:B\to D$, functoriality gives $F(u){\alpha }_B^x(f)=F(uf)(x)={\alpha }_D^x(uf)$, so this is a natural transformation. Conversely, naturality of $\alpha$ at $f:A\to B$ gives ${\alpha }_B(f)=F(f){\alpha }_A(1_A)$. The two constructions are inverse. They are natural in $F$, because a natural transformation $F\Rightarrow G$ commutes with evaluation. They are also natural in $A$: an arrow $v:A^{\prime }\to A$ induces $\mathcal{C}(A,-)\to \mathcal{C}(A^{\prime },-)$ by precomposition, and the resulting map $\mathrm{Nat}(\mathcal{C}(A^{\prime },-),F)\to \mathrm{Nat}(\mathcal{C}(A,-),F)$ corresponds to $F(v):F(A^{\prime })\to F(A)$. Applying the result to the opposite category gives $\mathrm{Nat}(\mathcal{C}(-,A),H)\cong H(A)$ for $H:{\mathcal{C}}^{\mathrm{op}}\to \mathbf{Set}$.

Now let $\mathcal{C}$ be a small category, and let $F,G:\mathcal{C}\to \mathbf{Set}$. Finite products in a category in $[\mathcal{C},\mathbf{Set}]$ exist pointwise; the terminal functor is the constant singleton functor. Define the exponential of covariant set-valued functors bySmallness ensures that these natural transformations form a set. For $u:C\to D$, define $(G^F)(u)(\alpha )$ at $E$ byPrecomposition respects identities and composition, so this defines a functor. Its evaluation map of an exponential object isTo check naturality, for $u:C\to D$ both sides give ${\alpha }_D(u,F(u)x)$: one side uses naturality of $\alpha$, and the other uses the defining action of $G^F$.

Here is the full universal property. Given $\theta :H\times F\Rightarrow G$, define $\hat{\theta }:H\Rightarrow G^F$ byFor $w:D\to E$, naturality of $\theta$ makes this commute with $G(w)$, so ${\hat{\theta }}_C(h)$ is a natural transformation. Replacing $h$ by $H(u)h$ is the same as precomposing $v$ by $u$, proving naturality in $C$. Conversely, $\beta :H\Rightarrow G^F$ gives ${\theta }_C(h,x)={\beta }_C(h{)}_C(1_C,x)$. Starting with $\theta$ recovers it immediately. Starting with $\beta$, its naturality at $v:C\to D$ yieldsso it too is recovered. The formulas are natural in $H$ and $G$, giving the required adjunction $(-)\times F⊣(-{)}^F$. Therefore the covariant functor category is cartesian closed. This proof supplies the actual exponential and does not need a colimit presentation of its arguments.

Finally suppose $\mathcal{C}$ itself is a small category which is a Cartesian closed category. In its presheaf category, the same construction, applied to ${\mathcal{C}}^{\mathrm{op}}$, givesThe first isomorphism uses the product's universal property: a map into $C\times A$ is precisely a pair of maps into $C$ and $A$. The next is the Yoneda lemma, and the last is the exponential adjunction in $\mathcal{C}$. Each step is natural in $C$, $A$, and $B$. Under these identifications, evaluation corresponds to $Y$ of the evaluation $B^A\times A\to B$. Hence the Yoneda embedding preserves exponentials, with the natural identification $\boxed{Y(B^A)\cong (YB{)}^{YA}}$.

Definitions organize category theory, but theorems give that organization mathematical force. I would therefore argue against treating the subject as an exception in which definitions are intrinsically more important than theorems. The distinction is especially misleading here because good categorical definitions are designed to expose hypotheses from which substantial theorems follow.

A category records objects, composable arrows, identities and associative composition. A functor preserves that structure. This language allows one to compare otherwise different mathematical settings, but it does not itself say which constructions exist. For example, the definition of a product in a category is not a recipe for forming a Cartesian product of underlying sets: it requires a universal factorization of pairs of arrows. If two products in a category $(P,p_1,p_2)$ and $(Q,q_1,q_2)$ exist, the universal properties give unique arrows $f:P\to Q$ and $g:Q\to P$ respecting projections. The composites $gf$ and $fg$ respect the same projections as the identities, so uniqueness forces them to be identities. Thus a definition yields a genuine theorem: products in a category are unique up to unique compatible isomorphism. The proof matters because it licenses replacing a construction by any other realization of the same property.

The Yoneda lemma is a more substantial example. For a covariant representable functor $\mathcal{C}(A,-)$ and $X:\mathcal{C}\to \mathbf{Set}$, a natural transformation $t:\mathcal{C}(A,-)\to X$ is determined by $a=t_A(1_A)$. Naturality forcesConversely this formula defines a natural transformation for every $a\in X(A)$. Hence $\mathrm{Nat}(\mathcal{C}(A,-),X)\cong X(A)$. The definition of naturality is indispensable, but the theorem identifies every possible transformation, proves representables detect arrows, and explains why universal objects can be studied through hom-sets. Merely knowing the definition does not supply this conclusion.

Similarly, an adjunction is defined by natural hom-set bijections. The construction of a free abelian group gives $\mathbf{Ab}({\mathbb{Z}}^{(S)},A)\cong \mathbf{Set}(S,UA)$, because a group homomorphism is determined uniquely by its values on the basis. This makes a universal extension problem transparent. But the Freyd general adjoint functor theorem goes further: it turns categorical limit preservation and a solution set into an actual adjoint. Its smallness hypotheses cannot be discarded as bookkeeping. For instance, the underlying-set functor from finite groups to finite sets has no left adjoint at a singleton. A putative universal finite group with universal element of order $m$ could not map that element to a generator of a finite cyclic group of order greater than $m$. The theorem's hypotheses separate existence from attractive notation.

The monoidal coherence theorem offers another example. A monoidal category has associativity and unit isomorphisms satisfying the pentagon identity for a monoidal category and triangle identity for a monoidal category. Coherence proves that every formal reassociation and unit insertion produces the same structural map. This is what justifies calculating without displaying all parentheses; it is not true merely because one has named an associator. Nor does it identify arbitrary additional maps, such as distinct braidings.

Finally, the opposite category construction shows how a definition can economize on proofs: reversing arrows takes products in a category to coproducts in a category, initial objects to terminal objects and monads to comonads. Yet this economy works because theorems and their proofs are invariant under the reversal. The subject is powerful precisely when definitions isolate reusable structure and theorems establish its consequences. Separating their importance obscures that partnership.

An abelian category is an additive category with kernels in a category and cokernels in a category in which the canonical comparison from coimage to image of every morphism is an isomorphism. This is the standard image-coimage form of the definition, equivalently expressed by normality of every monomorphism and epimorphism. Additivity means abelian-group hom-sets with bilinear composition, a zero object and finite biproducts. A sequence is exact at an object when the image of the incoming morphism is the kernel in a category of the outgoing one.

For $f:X\to Y$, construct $q:X\to \mathrm{coim}f=\mathrm{coker}(\ker f)$ and $j:\mathrm{im}f=\ker (\mathrm{coker}f)\to Y$. The universal properties give $f=j\bar{f}q$: first $f$ kills its kernel in a category and factors through $q$; then the resulting map is killed by $\mathrm{coker}f$ because $q$ is epic, so it factors through $j$. The comparison $\bar{f}$ is invertible by the abelian axiom. Cokernels in a category are epic and kernels in a category monic, directly by uniqueness in their universal properties, so $e=\bar{f}q$ is epic and $j$ monic. Thus $\boxed{f=je\text{ is an epimorphism-monomorphism factorization}}$.

In a short exact sequence $0\to X\stackrel{i}{\to }Y\stackrel{p}{\to }Z\to 0$, we have $i=\ker p$ and $p=\mathrm{coker}i$, up to the canonical isomorphisms. If $r:Y\to X$ retracts $i$, the map $1_Y-ir$ kills $i$ and factors as $sp$ for some $s:Z\to Y$. Composing with $p$ gives $psp=p$, so epicity gives $ps=1_Z$. Conversely if $ps=1_Z$, then $1_Y-sp$ is killed by $p$ and factors as $ir$. Composing with $i$ gives $iri=i$, so monicity gives $ri=1_X$. ConsequentlyIn that case $Y\cong X\oplus Z$.

For the derived-functor requests, use additive right exact functors, as customary in abelian homological algebra. An abelian category with enough projectives permits an augmented projective resolution $\cdots \to P_2\to P_1\to P_0\to X\to 0$, obtained by repeatedly taking an epimorphism from a projective onto the previous kernel in a category. Apply $F$ and defineProjective lifts construct maps of resolutions; the comparison and chain-homotopy results make the construction independent of choices and functorial. For a short exact sequence, the horseshoe construction produces a degreewise split short exact sequence of resolutions, hence of their images under additive $F$. Its homology objects give the long exact sequenceThis supplies the requested sketch; detailed comparison and functoriality proofs are not needed here.

A projective object $X$ has a resolution concentrated in degree zero, so $L_{1}F(X)=0$ for every such $F$. Conversely choose $0\to K\stackrel{i}{\to }P\to X\to 0$ with $P$ projective, and take $F=\mathcal{A}(-,K)$ with target ${\mathbf{Ab}}^{\mathrm{op}}$. Precomposition makes this covariant to the opposite category. The usual left exactness of contravariant Hom, which follows directly from the cokernel in a category universal property, says exactly that this $F$ is right exact in that opposite target. If $L_{1}F(X)=0$, the long exact sequence and $L_{1}F(P)=0$ make $F(K)\to F(P)$ monic in ${\mathbf{Ab}}^{\mathrm{op}}$. Equivalently,is epic, hence surjective, in abelian groups. The identity of $K$ has a preimage, giving a retraction of $i$. The sequence splits, and $X$ is a direct summand of $P$, hence projective: a lifting problem for $X$ extends along the projection $P\to X$, is solved for $P$, and restricts along the summand inclusion. ThereforeThis is projectivity detected by all first left derived functors. The following parts prove the three requested equivalent formulations of a hereditary abelian category with enough projectives.

For the covariant version of the Yoneda embedding, put $Y(A)=\mathcal{C}(A,-)$. A morphism $u:A\to B$ induces the natural transformation $Y(u):Y(B)\to Y(A)$ whose component sends $v:B\to X$ to $vu$. Thus $Y$ is a functor from the opposite category ${\mathcal{C}}^{\mathrm{op}}$ to the functor category $[\mathcal{C},\mathbf{Set}]$. The locally small category hypothesis makes each value a set.

The Yoneda lemma says that, for a functor $F:\mathcal{C}\to \mathbf{Set}$, evaluation at the identity morphism gives a natural bijectionGiven $a\in F(A)$, define ${\theta }_X^a(v)=F(v)(a)$. For $w:X\to X^{\prime }$, the functor law gives $F(w){\theta }_X^a(v)=F(wv)(a)={\theta }_{X^{\prime }}^a(wv)$, proving naturality. Conversely, naturality of $\theta$ at $v:A\to X$ gives ${\theta }_X(v)=F(v){\theta }_A(1_A)$. These two constructions are inverse, because $F(1_A)(a)=a$.

The bijection is natural in both variables. A natural transformation $\beta :F\to H$ sends the element $a$ to ${\beta }_A(a)$, matching postcomposition by $\beta$. For $u:A\to B$, precomposing with $Y(u)$ sends $\theta$ to a transformation from $Y(B)$ and its distinguished element is ${\theta }_B(u)=F(u)(a)$. This is exactly the required dependence on $A$.

Taking $F=Y(B)$ gives $\mathrm{Nat}(Y(A),Y(B))\cong \mathcal{C}(B,A)$. Consequently the covariant Yoneda embedding is full and faithful, with the reversal of arrows accounted for by its opposite category domain.

The limit form of the Special adjoint functor theorem is as follows. Let $\mathcal{C}$ be a locally small category, a complete category, and a well-powered category, and suppose it has a small cogenerating family $(Q_i{)}_{i\in I}$. Let $\mathcal{D}$ be a locally small category. Then a functor $G:\mathcal{C}\to \mathcal{D}$ has a left adjoint if and only if it preserves all small categorical limits. The dual exchanges completeness, well-poweredness and cogenerators for cocompleteness, well-copoweredness and generators, and characterizes functors with a right adjoint.

Here a cogenerating set distinguishes unequal parallel maps by postcomposition into one of the $Q_i$. A well-powered category has a set of subobjects of each fixed object. Completeness means existence of all small categorical limits. We use the initial-object lemma for complete categories with a weakly initial set: a complete category that is locally small has an initial object exactly when it has a weakly initial set. A proof is given in Question 5(c). We also use the fact that when $G$ preserves small categorical limits, the comma category $(B\downarrow G)$ is complete, with its limits constructed in $\mathcal{C}$; local smallness is inherited from $\mathcal{C}$. Finally, having an initial object in $(B\downarrow G)$ for each $B$ is the universal arrow from an object to a functor characterization of a left adjoint.

Assume $G$ preserves small categorical limits, and fix $B\in \mathcal{D}$. We will construct a weakly initial set in $(B\downarrow G)$, rather than assume a solution set. Start with an arbitrary object $(C,x)$, where $x:B\to GC$. Call a subobject $m:S\hookrightarrow C$ supporting if $x=G(m)x_S$ for some $x_S:B\to GS$. There is at least one, namely $1_C$. Because $G$ preserves pullbacks in a category, it preserves monomorphisms: the self-pullback characterization of a monic map is preserved. Consequently each $x_S$ is unique.

There is a set of supporting subobjects by well-poweredness. Their intersection of subobjects exists by completeness; write it $m_0:C_0\hookrightarrow C$. Applying $G$ to this intersection categorical limit gives a unique $x_0:B\to G{C}_0$ lifting all the $x_S$, and hence $x=G(m_0)x_0$. Minimality says that any subobject $n:R\hookrightarrow C_0$ supporting $x_0$ is invertible: $m_{0}n$ supports $x$, so $m_0$ factors through $m_{0}n$, giving a right inverse to the monic $n$.

If $u,v:C_0\to Q_i$ satisfy $G(u)x_0=G(v)x_0$, their equalizer supports $x_0$, since $G$ preserves that equalizer. It is therefore an isomorphism, and $u=v$. We have obtained an injective functionLet $J_i$ be its image, a subset of the fixed set $S_i=\mathcal{D}(B,G{Q}_i)$. The evaluation embedding into cogenerator products is a monomorphismIndeed each $s\in J_i$ corresponds to a unique map $C_0\to Q_i$, and the cogenerating set property makes the resulting family jointly monic. Notice that we use the realized subsets $J_i$, not all of $S_i$: there need not be a map $C_0\to Q_i$ available for an unused index.

There is a set of tuples $J=(J_i)$, since $I$ and every $S_i$ are sets. For each resulting $P_J$, choose representatives of its subobjects; these form a set by well-poweredness. For every representative $R$, include every map $y:B\to GR$, a set by local smallness of $\mathcal{D}$. All resulting pairs $(R,y)$ form a set. Our given $(C,x)$ receives a map from such a pair: transport $x_0$ along the isomorphism between $C_0$ and the chosen representative, then compose its inverse with $m_0$. Thus these pairs form a weakly initial set in $(B\downarrow G)$. This is the cogenerator bound for comma-category solution sets.

The initial-object lemma for complete categories with a weakly initial set gives an initial object $(LB,{\eta }_B)$. For $h:B\to B^{\prime }$, define $Lh$ by the unique equationUniqueness proves the functor laws and gives the natural bijectionsThus $L⊣G$. Conversely, a right adjoint preserves small categorical limits: its adjunction identifies maps into the proposed limiting object with compatible families of maps into the diagram. This proves both directions of the limit form of the special adjoint functor theorem. Applying the argument to the opposite categories proves the dual statement. Choices of representatives and adjoint objects are understood in the usual ambient-universe convention for large categories.

Use the covariant Yoneda embedding $Y(A)=\mathcal{C}(A,-)$. An arrow $f:B\to A$, viewed as an arrow $A\to B$ in the opposite category, induces precomposition $h\mapsto hf$. Identities and composition are preserved because composition in $\mathcal{C}$ is associative.

The covariant Yoneda lemma is the bijectionIts inverse sends $x\in F(A)$ to ${\alpha }_B(h)=F(h)(x)$. This is a natural transformation: for $k:B\to C$, functoriality gives $F(k){\alpha }_B(h)=F(kh)(x)={\alpha }_C(kh)$. Conversely, naturality of an arbitrary $\alpha$ at $h:A\to B$ gives ${\alpha }_B(h)=F(h){\alpha }_A(1_A)$. Evaluation at the identity morphism therefore makes the two constructions inverse. Their formulas also prove naturality in $F$ and, contravariantly, in $A$.

Taking $F=Y(B)$ identifies natural transformations $Y(A)\to Y(B)$ with $\mathcal{C}(B,A)$. Thus $Y$ is full and faithful, and reflects isomorphisms; two image objects are isomorphic exactly when the original objects are isomorphic. It also carries existing colimits in $\mathcal{C}$ to categorical limits of covariant representable functors: maps out of a colimit are exactly compatible families of maps out of its diagram. Equivalently, this embedding preserves existing categorical limits in ${\mathcal{C}}^{\mathrm{op}}$. The direction matters: the paper uses covariant representables, rather than the more usual contravariant Yoneda embedding.

Suppose $X\cong \mathcal{C}(-,R)$. As a functor on the opposite category, a representable presheaf preserves every existing categorical limit: a colimit in $\mathcal{C}$ is defined by the bijection between morphisms from its vertex into $R$ and compatible families of morphisms from its diagram objects into $R$. This remains valid for a possibly large diagram in a category whenever that colimit exists and the compatible-family collection is the corresponding set.

The category of elements has a terminal object $(R,r)$, where $r$ is the image of $1_R$ under the representation. For each $(C,x)$ let $u_{C,x}:C\to R$ be its unique morphism to $(R,r)$. These form a cocone for the forgetful functor $G$. Any competing cocone $v_{C,x}:C\to A$ satisfiesThe component at $(R,r)$ uniquely determines the mediating morphism. Thus the representing object is the colimit of the elements projection:

Apply condition $(ii)$ with the singleton $S=1$. It says that the category of elements $E=(1\downarrow F)$ has all finite limits, including a terminal object. The opposite category $E^{\mathrm{op}}$ therefore has all finite colimits. In particular it is nonempty; two objects map to their binary coproduct in a category; and any parallel arrows are equalized by their coequalizer. These are precisely the conditions for a filtered category. Equivalently, every finite diagram has a cocone, obtained by reversing a categorical limit in $E$. Thus

A diagram in a category of shape $J$ is a functor $D:J\to \mathcal{C}$. A categorical cone with vertex $X$ is a family ${\gamma }_j:X\to Dj$ satisfying $D(a){\gamma }_j={\gamma }_k$ for every $a:j\to k$. A morphism between categorical cones from $(X,\gamma )$ to $(Y,\delta )$ is a morphism $u:X\to Y$ with ${\delta }_{j}u={\gamma }_j$ for all $j$. A categorical limit is a terminal object in this category of cones: each cone has a unique such morphism to the limiting cone.

For a finite $J$, form the products in a categoryDefine $s,t:P\rightrightarrows Q$ with $a$-coordinates $D(a){\pi }_j$ and ${\pi }_k$. The equalizer $e:L\to P$ imposes exactly the cone equations. Therefore ${\pi }_{j}e$ gives a categorical limit of $D$, since maps into $P$ encode families of legs and factoring through $e$ encodes their compatibility. The empty product in a category is the terminal object, covering the empty diagram. This is the construction of small limits from products and equalizers, restricted to finite shapes.

Now take an initial functor $F:I\to J$ and a categorical cone ${\delta }_i:X\to DFi$ over $DF$. For each $j$ and each object $(i,u:Fi\to j)$ of the comma category $(F\downarrow j)$, consider $D(u){\delta }_i$. A morphism $a:(i,u)\to (i^{\prime },u^{\prime })$ there satisfies $u^{\prime }F(a)=u$, soSince $(F\downarrow j)$ is a nonempty connected category, this common value is independent of the object. Define it to be ${\gamma }_j$. This does not require choosing representatives: the value is uniquely determined.

For $b:j\to k$, replacing $(i,u)$ by $(i,bu)$ proves $D(b){\gamma }_j={\gamma }_k$. Taking $(i,1_{Fi})$ proves ${\gamma }_{Fi}={\delta }_i$. Conversely, extending a restricted cone recovers its original legs, since ${\gamma }_j=D(u){\gamma }_{Fi}$. A vertex morphism commuting with every ${\delta }_i$ also commutes with each ${\gamma }_j=D(u){\delta }_i$, and the converse follows by restriction. Thus extension and restriction are strictly inverse functors, not merely an equivalence of categories. This proves cone restriction along an initial functor.

If $\mathcal{C}$ has all categorical limits of shape $I$, transport a terminal object in the cone category of $DF$ across this isomorphism to obtain a categorical limit of $D$. Uniqueness of the induced comparison, and its compatibility with natural transformations of diagrams, givesFor the converse use the representable test for initial functors. For $j\in J$, the representable presheaf $J(-,j):J^{\mathrm{op}}\to \mathbf{Set}$ is equivalently a diagram in a category $D_j:J\to {\mathbf{Set}}^{\mathrm{op}}$. Its categorical limit in the opposite category is the colimit of $J(-,j)$ in sets. Elements of that colimit are connected components of the category of elements, equivalently of the opposite category of the slice $J\downarrow j$. This slice has terminal object $(j,1_j)$, so that colimit is a singleton.

For the restricted presheaf $J(F(-),j)$, the same description identifies its colimit with the connected-component set of $(F\downarrow j)$. Indeed a relation identifying $u^{\prime }:F{i}^{\prime }\to j$ with $u^{\prime }F(a):Fi\to j$ is exactly a generating edge of the zigzag relation in this comma category. The assumed isomorphism of limit functors forces this set to be a singleton. Therefore $(F\downarrow j)$ is nonempty and connected for every $j$, proving

In a pointed category, a normal monomorphism is a monomorphism that is the kernel in a category of some morphism. Suppose $m:M\hookrightarrow A$ is the kernel of $f:A\to B$, and let $q:A\to Q$ be the cokernel in a category of $m$. Since $fm=0$, there is a unique $\bar{f}:Q\to B$ with $f=\bar{f}q$. If $qx=0$, then $fx=\bar{f}qx=0$, so the universal property of $m=\ker f$ factors $x$ uniquely through $m$. Therefore $m=\ker q=\ker (\mathrm{coker}m)$. The converse is immediate: if $m$ is the kernel of its cokernel, it is the kernel of a morphism and hence normal.

An abelian category is an additive category with kernels and cokernels in which every monomorphism is normal and every epimorphism is a conormal epimorphism. Finite biproducts and kernels give finite limits. The image and coimage in an abelian category give every $f:A\to B$ the canonical factorizationand the middle map is an isomorphism. The first map is a cokernel and therefore a regular epimorphism. Every epimorphism in an abelian category is the cokernel of its kernel, and epimorphisms are stable under pullback; consequently regular epimorphisms are pullback-stable. This proves that every abelian category is regular.

Define the additive indexing category for chain complexes $\mathbf{Z}$ as follows. Its objects are the integers andLet the generator of $\mathbf{Z}(n,n)$ be $1_n$ and the generator of $\mathbf{Z}(n,n-1)$ be ${\partial }_n$. Composition is bilinear, the $1_n$ are identities, andbecause the target hom-group $\mathbf{Z}(n,n-2)$ is zero. An additive functor $C:\mathbf{Z}\to \mathcal{A}$ chooses objects $C_n=C(n)$ and differentials $d_n=C({\partial }_n)$ satisfying $d_{n-1}{d}_n=0$, hence a complex in an abelian category. Conversely every chain complex defines this unique additive functor.

For self-duality, put $Z_n=\ker d_n$, $B_n=\mathrm{im}{d}_{n+1}$, and let $q:C_n\to Q_n=\mathrm{coker}{d}_{n+1}$. Since $d_n{d}_{n+1}=0$, there is a unique ${\bar{d}}_n:Q_n\to C_{n-1}$ with ${\bar{d}}_{n}q=d_n$. The image-to-kernel factorization gives a canonical isomorphismPassing to the opposite category exchanges kernels with cokernels and images with coimages. The usual construction in ${\mathcal{A}}^{\mathrm{op}}$ is therefore the expression on the right, which is canonically the original homology object. This proves the self-duality of homology.

A diagram in a category is a functor $D:\mathcal{J}\to \mathcal{C}$. A cone over a diagram with vertex $A$ is a familysuch that $D(u){\gamma }_i={\gamma }_j$ for every $u:i\to j$. A categorical limit is a terminal cone: for every cone $(A,\gamma )$ there is a unique map $A\to \lim D$ commuting with all legs.

Suppose $\mathcal{C}$ has small products and equalizers. For a small diagram $D$, formThere are two maps $r,s:P\rightrightarrows Q$. In the coordinate indexed by $u:i\to j$, letThe equalizer $E\to P$ imposes exactly the cone equations. Maps $A\to E$ are therefore naturally the same as cones from $A$ to $D$, so $E\cong \lim D$. This is the construction of small limits from products and equalizers.

Let $F:\mathcal{I}\to \mathcal{J}$ be initial, so every $(F\downarrow j)$ is nonempty and connected. Restriction sends a cone $(A,{\gamma }_j)$ over $D$ to $(A,{\gamma }_{Fi})$ over $DF$. Conversely, given a cone $(A,{\delta }_i)$ over $DF$, choose an objectand defineA morphism in the comma category shows that this expression is unchanged along one edge, and connectedness makes it independent of the chosen object. The cone equations follow by choosing $(i,vu)$ for an arrow $v:j\to j^{\prime }$. This construction is inverse to restriction and acts identically on vertex maps, proving the cone restriction along an initial functor isomorphism.

Terminal objects in the two cone categories therefore correspond. Whenever the $\mathcal{I}$-shaped limit exists,naturally in $D$. Equivalently, the triangle formed by precompositionand the two limit functors commutes up to natural isomorphism.

For the converse, suppose this commutation holds for $\mathcal{C}={\mathbf{Set}}^{\mathrm{op}}$. Passing to opposite categories says that restriction along $F^{\mathrm{op}}$ preserves all set-valued colimits. Fix $j\in \mathcal{J}$ and take the representable functorIts colimit is a singleton: the category of its elements has the initial object $(j,1_j)$. The restricted colimit iswhose elements are precisely the connected components of $(F\downarrow j)$. By the assumed comparison this set is also a singleton. Thus $(F\downarrow j)$ is nonempty and connected for every $j$, so $F$ is initial.

Let $q:C_n\to \mathrm{coker}{d}_{n+1}$. Since $d_n{d}_{n+1}=0$, there is an induced ${\bar{d}}_n:\mathrm{coker}{d}_{n+1}\to C_{n-1}$. In an abelian category,The left side is the usual homology construction and the right side is its construction in the opposite category, so the definition of homology is self-dual.