Definition:Colimit/Finite Colimit
< Definition:Colimit(Redirected from Definition:Finite Colimit)
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.