CatDat

finitely cocomplete

A category is finitely cocomplete when every finite diagram has a colimit.

Relevant implications

Examples

Counterexamples

Unknown

For these categories the database has no info if they satisfy this property or not.