Frobenius objects in cartesian bicategories

R.F.C Walters and R.J. Wood

Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid.

Keywords: cartesian bicategory, Frobenius object, dual object, groupoid

2000 MSC: 18A25

Theory and Applications of Categories, Vol. 20, 2008, No. 3, pp 25-47.

TAC Home