[category]

: A category is complete if and only if it has all equalizers and all products.

: Common complete categories include Set (sets), Grp (groups), Vect (vector spaces), and Top (topological spaces). [category]

In mathematics, a is one in which all small limits exist. Definition : A category is complete if every diagram is small) has a limit in : A category is complete if and only