CatGloss

A diagram is small if its indexing category is a small category. A category $\mathsf{C}$ is complete if it admits limits of all small diagrams valued in $\mathsf{C}$ and is cocomplete if it admits colimits of all small diagrams valued in $\mathsf{C}$.