Implication Details
Assumptions: extensive, finite products
Conclusions: distributive
Reason: This is Prop. 4.5 in Introduction to extensive and distributive categories.
Show 12 categories using this implication
- category of small categories
- category of compact Hausdorff spaces
- category of Hausdorff spaces
- category of locally ringed spaces
- category of measurable spaces
- category of metric spaces with continuous maps
- category of metric spaces with ∞ allowed
- category of posets
- category of prosets
- category of schemes
- category of topological spaces
- category of Z-functors