Properties of symmetric monoidal categories
Found 16 properties (10 grouped)
- is cartesian / cocartesian
- is closed / coclosed
- is complete / cocomplete
- is distributive / codistributive
- is finitely cocomplete / finitely complete
- is infinitary codistributive / infinitary distributive
- is self-dual
- is strict
- is trivial
- is well-pointed