CatGloss
A category is
complete
(or properly,
small complete
) if it has all limits.