Relevant Categories and Partial Functions Export

@misc{citeulike:1371386, abstract = {A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination 'relevant' comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets, is a category that is relevant, but not cartesian closed.}, archivePrefix = {arXiv}, author = {Dosen, K. and Petric, Z.}, citeulike-article-id = {1371386}, citeulike-linkout-0 = {http://arxiv.org/abs/math/0504133}, citeulike-linkout-1 = {http://arxiv.org/pdf/math/0504133}, day = {6}, eprint = {math/0504133}, keywords = {category-theory, logic, mathematics}, month = {Jun}, posted-at = {2007-06-07 23:05:06}, priority = {2}, title = {Relevant Categories and Partial Functions}, url = {http://arxiv.org/abs/math/0504133}, year = {2007} }

TY - ELEC ID - citeulike:1371386 L3 - citeulike-article-id:1371386 N2 - A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination 'relevant' comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets, is a category that is relevant, but not cartesian closed. TI - Relevant Categories and Partial Functions KW - category-theory KW - logic KW - mathematics AU - Dosen, K AU - Petric, Z PY - 2007/Jun/06/ UR - http://arxiv.org/abs/math/0504133 ER -