trivial symmetric monoidal 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
—