nLab
colimit

Context

Category theory

Limits and colimits

Contents

Idea

The concept of colimit is that dual to a limit:

a colimit of a diagram in a category is, if it exists, the co-classifying space for morphisms out of that diagram.

The intuitive general idea of a colimit is that it defines an object obtained by sewing together the objects of the diagram, according to the instructions given by the morphisms of the diagram.

We have

  • the notion of colimit generalizes the notion of direct sum;

  • the notion of weighted colimit generalizes the notion of weighted (direct) sum.

Sometimes colimits (or some colimits) are called inductive limits or direct limits; see the discussion of terminology at limit.

Definition

A colimit in a category CC is the same as a limit in the opposite category, C opC^{op}.

More in detail, for F:D opC opF : D^{op} \to C^{op} a functor, its limit limF\lim F is the colimit of F op:DCF^{op} : D \to C.

Examples

Here are some important examples of colimits:

Weighted colimits

A weighted colimit in CC is a weighted limit in C opC^{op}.

Properties

The properties of colimits are of course dual to those of limits. It is still worthwhile to make some of them explicit.

Contravariant Hom sends colimits to limits

For CC a locally small category, for F:DCF : D \to C a functor, for cCc \in C and object and writing C(F(),c):CSetC(F(-), c) : C \to Set, we have

C(colimF,c)limC(F(),c). C(colim F, c) \simeq lim C(F(-), c) \,.

Depending on how one introduces limits this holds by definition or is an easy consequence. In fact, this is just rewriting the respect of the covariant Hom of limits (as described there) in C opC^{op} in terms of CC:

C(colimF,c) C op(c,colimF) C op(c,limF op) limC op(c,F op()) limC(F(),c) \begin{aligned} C(colim F, c) & \simeq C^{op}(c, colim F) \\ & \simeq C^{op}(c, lim F^{op}) \\ & \simeq lim C^{op}(c, F^{op}(-)) \\ & \simeq lim C(F(-), c) \end{aligned}

Notice that this actually says that C(,):C op×CSetC(-,-) : C^{op} \times C \to Set is a continuous functor in both variables: in the first it sends limits in C opC^{op} and hence equivalently colimits in CC to limits in SetSet.

Proposition – left adjoints commute with colimits

Let L:CCL : C \to C' be a functor that is left adjoint to some functor R:CCR : C' \to C. Let DD be a small category such that CC admits limits of shape DD. Then LL commutes with DD-shaped colimits in CC in that

for F:DCF : D \to C some diagram, we have

L(colimF)colim(LF). L(colim F) \simeq colim (L \circ F) \,.
Proof

Using the adjunction isomorphism and the above fact that commutes with limits in both arguments, one obtains for every cCc' \in C'

C(L(colimF),c) C(colimF,R(c)) limC(F(),R(c)) limC(LF(),c) C(colim(LF),c).. \begin{aligned} C'(L (colim F), c) & \simeq C(colim F, R(c')) \\ & \simeq lim C(F(-), R(c')) \\ & \simeq lim C'(L \circ F(-), c') \\ & \simeq C'(colim (L \circ F), c') \,. \end{aligned} \,.

Since this holds naturally for every cc', the Yoneda lemma, corollary II on uniqueness of representing objects implies that R(limF)lim(RF)R (lim F) \simeq lim (R \circ F).

Revised on August 26, 2012 23:53:09 by Urs Schreiber (89.204.139.66)