Complete category

related topics
{math, number, function}
{village, small, smallsup}
{@card@, make, design}

In mathematics, a complete category is a category in which all small limits exist. That is, a category C is complete if every diagram F : JC where J is small has a limit in C. Dually, a cocomplete category is one in which all small colimits exist.

The existence of all limits (even when J is a proper class) is too strong to be practically relevant. Any category with this property is necessarily a thin category: for any two objects there can be at most one morphism from one object to the other.

A weaker form of completeness is that of finite completeness. A category is finitely complete if all finite limits exists (i.e. limits of diagrams indexed by a finite category J). Dually, a category is finitely cocomplete if all finite colimits exist.

Theorems

It follows from the existence theorem for limits that a category is complete if and only if it has equalizers (of all pairs of morphisms) and all (small) products. Since equalizers may be constructed from pullbacks and binary products (consider the pullback of (f, g) along the diagonal Δ), a category is complete if and only if it has pullbacks and products.

Dually, a category is cocomplete if and only if it has coequalizers and all (small) coproducts, or, equivalently, pushouts and coproducts.

Finite completeness can be characterized in several ways. For a category C, the following are all equivalent:

  • C is finitely complete,
  • C has equalizers and all finite products,
  • C has equalizers, binary products, and a terminal object,
  • C has pullbacks and a terminal object.

The dual statements are also equivalent.

A small category C is complete if and only if its dual Cop is cocomplete. A small complete category is necessarily thin.

Examples and counterexamples

Full article ▸

related documents
Category of sets
Elias delta coding
Characteristic subgroup
Abelian category
Product of rings
Mutual recursion
Hamiltonian path problem
Brun's constant
Column vector
Sum rule in differentiation
Endomorphism
Baire category theorem
Sophie Germain prime
Double precision
Axiom of union
AVL tree
Zero divisor
RP (complexity)
Normal morphism
Up to
Inverse functions and differentiation
Sharp-P
Blum Blum Shub
Inequation
Contraction mapping
Kleene star
Complete measure
Random sequence
Additive function
Identifier