trivial symmetric monoidal category
- Notation:
- Underlying category: trivial category
This is the terminal symmetric monoidal category. It is the trivial category equipped with its unique strict symmetric monoidal structure. The monoidal unit is the unique object .
Satisfied Properties
Assigned properties
Deduced properties
- is cartesian
- is closed
- is cocomplete
- is self-dual
- is well-pointed
- is cocartesian
- is coclosed
- is complete
- is finitely cocomplete
- is distributive
- is infinitary distributive
- is finitely complete
- is codistributive
- is infinitary codistributive
Unsatisfied Properties
Assigned properties
—
Deduced properties*
—
*This also uses the deduced satisfied properties.
Unknown properties
—