CatDat

wide pushouts

A category C\mathcal{C} has wide pushouts if for every object SS the coslice category S/CS/\mathcal{C} has arbitrary coproducts.

Relevant implications

Examples

Counterexamples

Unknown

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