摘要：在笛卡尔双范畴B中，Frobenius对象之间的映射（左伴随箭头）恰好是余黑化同态，并且对于一个Frobenius对象A和B中的任意T，map(B)(T,A)是一个群组oid。
作者：R. F. C. Walters and R. J. Wood
论文ID：0708.1925
分类：Category Theory
分类简称：math.CT
提交时间：2007-08-15
PDF 下载： 英文版 中文版pdf翻译中