Frobenius Objects in Cartesian Bicategories
Category Theory
2007-08-15 v1
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.
Cite
@article{arxiv.0708.1925,
title = {Frobenius Objects in Cartesian Bicategories},
author = {R. F. C. Walters and R. J. Wood},
journal= {arXiv preprint arXiv:0708.1925},
year = {2007}
}