Relevant Categories and Partial Functions

Simple item page
dc.creatorDosen, K.
dc.creatorPetric, Z.
dc.date2005-04-07
dc.date2007-06-06
dc.date.accessioned2026-07-07T08:04:14Z
dc.date.available2026-07-07T08:04:14Z
dc.descriptionA 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.
dc.description9 pages, one reference added
dc.identifierhttps://arxiv.org/abs/math/0504133
dc.identifierhttp://arxiv.org/abs/math/0504133
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/129881
dc.subjectCategory Theory
dc.subjectLogic
dc.subject03B47; 03F52; 03G30; 18D10; 18D15
dc.titleRelevant Categories and Partial Functions
dc.typetext

Files

Collections

arXiv