symmetric monoidal category of finite-dimensional vector spaces
This is the full symmetric monoidal subcategory of (see here) spanned by the finite-dimensional vector spaces.
Satisfied Properties
Assigned properties
- is closed
- is well-pointed
- is self-dual
Deduced properties
- is finitely cocomplete
- is distributive
- is coclosed
- is codistributive
- is finitely complete
Unsatisfied Properties
Assigned properties
- is not strict
- is not infinitary distributive
Deduced properties*
- is not cocomplete
- is not infinitary codistributive
- is not trivial
- is not complete
- is not cartesian
- is not cocartesian
*This also uses the deduced satisfied properties.
Unknown properties
—