[论文解读] A Survey of Definitions of n-Category

Tom Leinster|arXiv (Cornell University)|Jul 25, 2001

Educational Technology and Assessment被引用 47

一句话总结

本文综述了十种不同的弱 $n$-范畴定义，以简洁、自包含的两页格式呈现每种定义，以增强可读性与清晰度。它表明当 $n \leq 2$ 时，弱 $n$-范畴与标准概念一致——即集合、范畴与双范畴——从而验证了这些定义在低维情形下的自洽性，同时突出了在高维中比较不同定义仍具挑战性。

ABSTRACT

Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently. Chatty bibliography follows.

研究动机与目标

• 以清晰、易懂且自包含的方式呈现弱 $n$-范畴的多种定义，以纠正此类定义本质上晦涩难懂或过于复杂的刻板印象。
• 通过展示当 $n \leq 2$ 时，所提定义与已知数学结构（如集合（$n=0$）、范畴（$n=1$）和双范畴（$n=2$））一致，来验证其合理性。
• 通过整合并形式化多种弱 $n$-范畴的处理方法，为研究者提供一个参考框架，而不试图比较或等同这些方法。
• 应对高阶范畴理论中的基础性挑战：即对 $n > 2$ 的弱 $n$-范畴缺乏普遍接受的定义。
• 通过分离定义及其核心组成部分，为未来比较工作奠定基础，从而能够系统分析不同形式体系之间的等价性与一致性。

提出的方法

• 每种弱 $n$-范畴的定义均以独立、形式化的方式在两页内呈现，采用最小化、精确的符号系统，以提升可读性并降低认知负担。
• 定义按主题相似性分组，但顺序不具特殊意义，且每种定义均设计为自包含，无需依赖其他定义即可理解。
• 本文包含一个专门的两页分析，涵盖 $n = 0, 1, 2$ 的情形，表明弱 $n$-范畴退化为标准数学对象：集合、范畴与双范畴。
• 本文避免定义弱函子、变换或 $n$-范畴之间的等价性，仅聚焦于 $n$-范畴结构本身的定义。
• 附有非技术性、轻松风格的参考文献列表，引导读者了解基础与动机性文献，但不试图涵盖全部文献。
• 版式设计优化为双面打印，使每个完整定义恰好占据一页双面，从而增强视觉与概念上的清晰度。

实验结果

研究问题

• RQ1 尽管普遍认为此类定义过于复杂，弱 $n$-范畴是否仍能以简洁且易懂的方式定义？
• RQ2 当 $n \leq 2$ 时，各种提出的弱 $n$-范畴定义是否产生与已知数学对象一致的结构？
• RQ3 在弱 $n$-范畴的构建中，高阶范畴结构如操作子、多范畴与计算复形起到何种作用？
• RQ4 鉴于等价性需要弱 $(n+1)$-范畴的定义（即 $n$-范畴的弱 $(n+1)$-范畴），如何比较不同弱 $n$-范畴的定义？
• RQ5 严格 $n$-范畴与弱 $n$-范畴之间存在何种关系，尤其考虑到严格与弱 2-范畴之间的等价性无法推广至 $n > 2$？

主要发现

• 所有十种弱 $n$-范畴的定义均以自包含且易懂的方式形式化呈现，每种恰好占据两页，表明此类定义未必冗长繁琐。
• 当 $n = 0$ 时，弱 $n$-范畴被证明为集合；当 $n = 1$ 时，为范畴；当 $n = 2$ 时，为双范畴，确认了这些定义在低维情形下与既定数学概念的一致性。
• 本文确立了虽然严格 $n$-范畴的定义较为直接，但当 $n > 2$ 时，弱情形在本质上更为复杂，因为严格与弱 2-范畴之间的等价性无法推广。
• 定义被有意保持独立，避免对等价性或比较作出任何承诺，从而为未来研究者评估其相互关系提供了无先验假设的基础。
• 本文指出，比较弱 $n$-范畴的定义本质上是循环的，因为此类比较本身需要对 $n$-范畴的弱 $(n+1)$-范畴作出定义。
• 作者承认由于不熟悉而遗漏了一些定义，并邀请读者查阅“进一步阅读”部分以获取更多背景与动机。