nLab
complete category

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

A category D is complete if it has all small limits: that is, if every diagram

F:D→CF: D \to C

where D is a small category has a limit in C.

Many familiar categories of mathematical structures are complete: to name just a few examples, Set, Grp, Ab, Vect and Top are complete.

Created on January 23, 2009 06:38:13 by John Baez (68.124.162.48)
Edit | Views: Print | TeX | Source | Linked from: topos, presheaf, Set, apartness relation, Grothendieck topos, model category, Kan extension, field, Yoneda reduction, Cauchy complete category, strict n-category, cocomplete category, Froelicher space, free completion, equivariant object, convenient category of topological spaces, adjoint functor theorem, continuous functor, nice category of spaces, subsequential space, geometric infinity-function theory, Banach space, discrete space, topological concrete category, weighted colimit, loop space, complete space, cosmos, nerve and realization, free monoid, Stone Spaces, database of categories, cartesian bicategory, cocomplete well-pointed topos, short map, CocommCoalg, preserved limit, free monad, connected limit, Isbell conjugation