Mathematics – Category Theory
Scientific paper
2009-10-07
Mathematics
Category Theory
45 pages; reorganized and shortened, added proof for cylindrical string diagrams
Scientific paper
Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix.
Ponto Kate
Shulman Michael
No associations
LandOfFree
Shadows and traces in bicategories 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 Shadows and traces in bicategories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Shadows and traces in bicategories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-36749