\begin{definition}[Definition:Limit (Category Theory)/Finite Limit]
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''' {{iff}} $\mathbf J$ is a finite category.
\end{definition}