CatDat

filtered colimits

A category has filtered colimits if it has colimits of diagrams indexed by filtered categories.

Relevant implications

Examples

Counterexamples

Unknown

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