Mathematics – Category Theory
Scientific paper
2005-02-25
Theory and Applications of Categories, Vol. 16, 2006, No. 4, pp 84-122
Mathematics
Category Theory
35 pages with Xy-Pic diagrams Corrected and simplified some proofs, added discussion on Eilenberg-Moore completions
Scientific paper
In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. In particular, we show that every Frobenius object in a monoidal category M arises from an ambijunction (simultaneous left and right adjoints) in some 2-category D into which M fully and faithfully embeds. Since a 2D topological quantum field theory is equivalent to a commutative Frobenius algebra, this result also shows that every 2D TQFT is obtained from an ambijunction in some 2-category. Our theorem is proved by extending the theory of adjoint monads to the context of an arbitrary 2-category and utilizing the free completion under Eilenberg-Moore objects. We then categorify this theorem by replacing the monoidal category M with a semistrict monoidal 2-category M, and replacing the 2-category D into which it embeds by a semistrict 3-category. To state this more powerful result, we must first define the notion of a `Frobenius pseudomonoid', which categorifies that of a Frobenius object. We then define the notion of a `pseudo ambijunction', categorifying that of an ambijunction. In each case, the idea is that all the usual axioms now hold only up to coherent isomorphism. Finally, we show that every Frobenius pseudomonoid in a semistrict monoidal 2-category arises from a pseudo ambijunction in some semistrict 3-category.
No associations
LandOfFree
Frobenius algebras and ambidextrous adjunctions 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 Frobenius algebras and ambidextrous adjunctions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Frobenius algebras and ambidextrous adjunctions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-303921