Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

There's not really a connection here, the category of vector spaces isn't cartesian closed.


The category of Chu spaces is through.


No, 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: