symmetric monoidal category of modules over an absolutely flat commutative ring
This is the special case of this entry where we assume that is absolutely flat and non-zero. For example, every field has this property, so that this entry also includes the symmetric monoidal category of vector spaces.
Satisfied Properties
Assigned properties
Deduced properties
- is closed
- is well-pointed
- is cocomplete
- is finitely cocomplete
- is distributive
- is infinitary distributive
- is codistributive
Unsatisfied Properties
Assigned properties
—
Deduced properties*
- is not infinitary codistributive
- is not strict
- is not coclosed
- is not complete
- is not self-dual
- is not trivial
- is not cartesian
- is not cocartesian
*This also uses the deduced satisfied properties.
Unknown properties
—