nLab
cocomplete category
Contents
Context
Category theory
category theory
Concepts
Universal constructions
Theorems
Extensions
Applications
Limits and colimits
limits and colimits
1Categorical

limit and colimit

limits and colimits by example

commutativity of limits and colimits

small limit

filtered colimit

sifted colimit

connected limit, wide pullback

preserved limit, reflected limit, created limit

product, fiber product, base change, coproduct, pullback, pushout, cobase change, equalizer, coequalizer, join, meet, terminal object, initial object, direct product, direct sum

finite limit

Kan extension

weighted limit

end and coend
2Categorical
(∞,1)Categorical
Modelcategorical
Contents
Definition
A category $C$ is cocomplete if it has all small colimits: that is, if every small diagram
$F: D \to C$
where $D$ is a small category has a colimit in $C$.
The most natural morphisms between cocomplete categories are the cocontinuous functors.
 Dually, a category with all small limits is a complete category.
 A category $D$ is cocomplete if and only if $D^{op}$ is complete, so the abstract properties of cocompleteness mimic those of completeness.
 If a category has not all small colimits but all finite colimits, then it is a finitely cocomplete category.
Examples
Many familiar categories of mathematical structures are cocomplete: to name just a few examples, Set, Grp, Ab, Vect and Top are cocomplete.
The presheaf category $[C^{op},Set]$ is cocomplete, and the Yoneda embedding exhibits it as the free cocompletion of $C$.
Last revised on May 26, 2020 at 12:31:05.
See the history of this page for a list of all contributions to it.