4 ms·
There's not really a connection here, the category of vector spaces isn't cartesian closed.
by hither_shores 4y ago
There's not really a connection here, the category of vector spaces isn't cartesian closed.
- adamnemecek 4y agoThe category of Chu spaces is through.
- hither_shores 4y agoNo, it isn't. A star-autonomous cartesian category is just a preorder. Chu(Set, n) is star-autonomous but not a preorder, and therefore not cartesian. Or more concretely: cartesian categories are models for type systems with copying and deleting, but the Chu construction builds a model for a linear type system.