symmetric monoidal poset of natural numbers
- Notation:
- Underlying category: partially ordered set of natural numbers
- nLab Link
We view the poset as a thin category and equip it with the strict symmetric monoidal structure defined by and the monoidal unit .
Satisfied Properties
Assigned properties
Deduced properties
- is well-pointed
Unsatisfied Properties
Assigned properties
- is not cartesian
- is not codistributive
- is not distributive
- is not cocartesian
Deduced properties*
- is not closed
- is not finitely cocomplete
- is not infinitary distributive
- is not trivial
- is not finitely complete
- is not infinitary codistributive
- is not cocomplete
- is not complete
- is not self-dual
*This also uses the deduced satisfied properties.
Unknown properties
—