2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/136068Maps (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.Category Theory18D5; 18D10text