Implication Details
Claim: If a symmetric monoidal category is complete, then it is finitely complete and is infinitary codistributive.
Proof: This follows from the dual implication.
Show 11 symmetric monoidal categories using this implication
- symmetric monoidal category of finitely generated abelian groups
- symmetric monoidal category of abelian groups
- cartesian symmetric monoidal category of small categories
- 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
- cartesian symmetric monoidal category of sets
- cocartesian symmetric monoidal category of sets
- cartesian symmetric monoidal category of topological spaces