Mathematics – Category Theory
Scientific paper
2008-05-11
Mathematics
Category Theory
12 pages, 6 figures
Scientific paper
Linking diagrams with path composition are ubiquitous, for example: Temperley-Lieb and Brauer monoids, Kelly-Laplaza graphs for compact closed categories, and Girard's multiplicative proof nets. We construct the category Link=Span(iRel), where iRel is the category of injective relations (reversed partial functions) and show that the aforementioned linkings, as well as Jones-Martin partition monoids, reside inside Link. Path composition, including collection of loops, is by pullback. Link contains the free compact closed category on a self-dual object (hence also the looped Brauer and Temperly-Lieb monoids), and generalises partition monoids with partiality (vertices in no partition) and empty- and infinite partitions. Thus we obtain conventional linking/partition diagrams and their composition "for free", from iRel.
No associations
LandOfFree
Linking diagrams for free 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 Linking diagrams for free, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Linking diagrams for free will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-327728