Implication Details
Claim: Given a symmetric monoidal category whose underlying category has finite coproducts, if it is closed, then it is distributive.
Proof: Each functor is a left adjoint and therefore preserves finite coproducts.
This implication has a dual.
Show 9 symmetric monoidal categories using this implication
- trivial symmetric monoidal category
- symmetric monoidal category of finitely generated abelian groups
- symmetric monoidal category of abelian groups
- symmetric monoidal category of finite-dimensional vector spaces
- symmetric monoidal poset of natural numbers
- symmetric monoidal category of modules over a commutative ring
- symmetric monoidal category of modules over an absolutely flat commutative ring
- symmetric monoidal category of modules over a non-absolutely flat commutative ring
- cocartesian symmetric monoidal category of sets