CatDat

infinitary distributive

A category is infinitary distributive if it has finite products, all small coproducts, and for every object AA the functor ×A- \times A preserves all small coproducts.

Relevant implications

Examples

Counterexamples

Unknown

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