Frobenius Objects in Cartesian Bicategories

Abstract

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.

References in corpus (1)

• A universal property of the monoidal 2-category of cospans of finite linear orders and surjections

Cited by in corpus (1)

• Fibrations of predicates and bicategories of relations