Frobenius Objects in Cartesian Bicategories

MaRDI QIDQ5454626zbMATH OpenFDO

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

Publication date 31 March 2008

Full work available at URL https://arxiv.org/abs/0708.1925, https://eudml.org/doc/129528, http://www.emis.de/journals/TAC/volumes/20/3/20-03abs.html

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

zbMATH Keywords

dual objectgrupoidFrobenius objectcartesian bicategory

Mathematics Subject Classification ID

Functor categories, comma categories (18A25)

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.

Recommendations

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

Cited in

(9)

• An algebra of automata that includes both classical and quantum entities
• Frobenius objects in the category of relations
• Cartesian Bicategories II
• Duals invert
• Frobenius objects in the category of spans
• Cartesian bicategories. I
• On examples and classification of Frobenius objects in \textbf{Rel}
• scientific article; zbMATH DE number 1522862 (Why is no real title available?)
• 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)