symmetric monoidal category of modules over an absolutely flat commutative ring
- Notation:
- Underlying category: category of left modules over a ring
- Parent:
- Related symmetric monoidal categories:
- nLab Link
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
—