CatDat

countable coproducts

A category has countable coproducts if it has coproducts for countable families of objects.

Relevant implications

Examples

Counterexamples

Unknown

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