弱 n-范畴：拓扑和多图基础
摘要：从对称操作上传入的概念，我们推广了Baez和Dolan的概念，以定义由类别而不是集合构建的opetopes。我们描述了1级广义多范畴的范畴，这是Hermida，Makkai和Power引入的概念的一个特例，并展示了将这个范畴完全嵌入具有对象范畴的对称操作的范畴的方法。作为对Baez-Dolan切片构造的类比，我们在多主题环境下展示了某种多范畴的函数替换作为切片构造，并使用它来构造多品种。我们明确描述了opetopes和multitopes之间的关系。
作者：Eugenia Cheng
论文ID：math/0304277
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23