笛卡尔双范畴中的 Frobenius 对象
范畴论
2007-08-15 v1
摘要
笛卡尔双范畴 B 中 Frobenius 对象之间的映射（左伴随箭头） precisely 是余幺半群同态，且对于 Frobenius 对象 A 和 B 中的任意 T，map(B)(T,A) 是一个群胚 (groupoid)。
引用
@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}
}