Definition:Limit (Category Theory)/Finite Limit

Definition

Let $\mathbf C$ be a metacategory.

Let $D: \mathbf J \to \mathbf C$ be a $\mathbf J$-diagram in $\mathbf C$.

Let $\varprojlim_j D_j$ be a limit for $D$.

Then $\varprojlim_j D_j$ is called a finite limit if and only if $\mathbf J$ is a finite category.

Also see

• Definition:Finitely Complete Category
• Definition:Finite Colimit