高维范畴论中的结构
范畴论
2007-05-23 v1
摘要
本文写于 1998 年，旨在通过广义 operad 与多范畴理论研究厘清各种高阶范畴结构。涵盖该理论及其在给出弱 n-范畴定义中应用的第 I、II 章，很大程度上已被我的学位论文（math.CT/0011106）所取代，但第 III、IV 章未曾在他处发表。第 III 章的主要结果是：小 Gray-范畴可刻画为 2-范畴、同态、强变换与修正所构成的 tricategory 的子 tricategory；并有一个关于高维连贯性的猜想。第 IV 章定义了 operad 形（opetopes）以及每个 n 的 n-粘贴图范畴，其中 n=2 的情形即树范畴的定义。
引用
@article{arxiv.math/0109021,
title = {Structures in higher-dimensional category theory},
author = {Tom Leinster},
journal= {arXiv preprint arXiv:math/0109021},
year = {2007}
}
备注
81 pages, written 1998