Definition:Complete Category
Jump to navigation
Jump to search
Definition
Let $\CC$ be a category.
Then $\CC$ is (small-)complete if and only if for all small categories $\II$ and all diagrams $D : \II \to \CC$ there exists a limit of $D$ in $\CC$.
Sources
- 1971: Saunders Mac Lane: Categories for the Working Mathematician $\S \text{V.1}$.