Implication Details
Claim: If a symmetric monoidal category is finitely complete, then it is codistributive.
Proof: This follows from the dual implication.
This implication has a dual.
Show 6 symmetric monoidal categories using this implication
- cartesian symmetric monoidal category of small categories
- symmetric monoidal poset of natural numbers
- symmetric monoidal category of modules over an absolutely flat commutative ring
- cartesian symmetric monoidal category of sets
- cocartesian symmetric monoidal category of sets
- cartesian symmetric monoidal category of topological spaces