摘要：关于Kelly-Mac Lane图的精确定义和梳状树的描述，我们展示了任何梳状树都可以唯一地表示为特定形状的允许的Kelly-Mac Lane图。反之亦然，我们展示了任何这样的Kelly-Mac Lane图可以唯一地定义一个梳状树。
作者：Eugenia Cheng
论文ID：math/0304287
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中