symmetric monoidal category of modules over a non-absolutely flat commutative ring
- Notation:
- Underlying category: category of left modules over a ring
- Parent:
- Children:
- nLab Link
This is the special case of where is a commutative ring that is not absolutely flat.
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
- is not finitely complete
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
—
Indistinguishable symmetric monoidal categories
These symmetric monoidal categories in the database currently have exactly the same properties as the symmetric monoidal category of modules over a non-absolutely flat commutative ring. This indicates that the data may be incomplete or that a distinguishing property may be missing from the database.