Voir la notice de l'article provenant de la source Theory and Applications of Categories website
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.
@article{TAC_2008_20_a2, author = {R.F.C Walters and R.J. Wood}, title = {Frobenius objects in cartesian bicategories}, journal = {Theory and applications of categories}, pages = {25--47}, publisher = {mathdoc}, volume = {20}, year = {2008}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2008_20_a2/} }
R.F.C Walters; R.J. Wood. Frobenius objects in cartesian bicategories. Theory and applications of categories, Tome 20 (2008), pp. 25-47. http://geodesic.mathdoc.fr/item/TAC_2008_20_a2/