Definition:Colimit/Finite Colimit

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf C$ be a metacategory.

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

Let $\varinjlim_j D_j$ be a colimit for $D$.


Then $\varinjlim_j D_j$ is called a finite colimit if and only if $\mathbf J$ is a finite category.


Also see