Relevant Categories and Partial Functions

Details Relevant Categories and Partial Functions Relevant Categories and Partial Functions

2005-04-07

arxiv.org/abs/math/0504133v4

Mathematics

Category Theory

9 pages, one reference added

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Relevant Categories and Partial Functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Relevant Categories and Partial Functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Relevant Categories and Partial Functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-362798