Partially traced categories

Details Partially traced categories Partially traced categories

2011-07-19

arxiv.org/abs/1107.3608v2

Mathematics

Category Theory

Scientific paper

This paper deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every symmetric monoidal subcategory of a totally traced category is partially traced, so this characterizes the partially traced categories completely. The main technique we use is based on Freyd's paracategories, along with a partial version of Joyal, Street, and Verity's Int-construction.

Affiliated with

Also associated with

No associations

Rating

Partially traced categories 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 Partially traced categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Partially traced categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-513409