Definition:Complete Category

From ProofWiki
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