Frobenius Objects in Cartesian Bicategories

zbMATH Open1153.18006arXiv0708.1925MaRDI QIDQ5454626FDOQ5454626

Authors: R. F. C. Walters, R. J. Wood 

Publication date: 31 March 2008

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.

Full work available at URL: https://arxiv.org/abs/0708.1925

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Duals invert
• Cartesian bicategories. I
• Frobenius monads and pseudomonoids
• Frobenius objects in the category of relations
• Cartesian Bicategories II

zbMATH Keywords

dual objectgrupoidFrobenius objectcartesian bicategory

Mathematics Subject Classification ID

Functor categories, comma categories (18A25)

Cited In (9)

• An algebra of automata that includes both classical and quantum entities
• Cartesian Bicategories II
• Frobenius objects in the category of relations
• Duals invert
• Frobenius objects in the category of spans
• On examples and classification of Frobenius objects in \textbf{Rel}
• Cartesian bicategories. I
• Title not available (Why is that?)
• Frobenius and commutative pseudomonoids in the bicategory of spans

This page was built for publication: Frobenius Objects in Cartesian Bicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5454626)