Boardman, J. M.; Vogt, R. M., Homotopy invariant algebraic structures on topological spaces, Lecture Notes in Mathematics 347, Berlin, New York: Springer-Verlag, 1973, ISBN 978-3-540-06479-4, MR 0420609, doi:10.1007/BFb0068547
Joyal, André, Quasi-categories and Kan complexes, Journal of Pure and Applied Algebra, 2002, 175 (1): 207–222, MR 1935979, doi:10.1016/S0022-4049(02)00135-4
Joyal, André; Tierney, Myles, Quasi-categories vs Segal spaces, Categories in algebra, geometry and mathematical physics, Contemp. Math. 431, Providence, R.I.: Amer. Math. Soc.: 277–326, 2007, MR 2342834, arXiv:math.AT/0607820
Joyal, A., (PDF), 2008, (原始内容 (PDF)存档于July 6, 2011)
Joyal, A., Notes on quasicategories (PDF), [2023-06-08], (原始内容 (PDF)于2011-07-25)
Joyal's Catlab entry: The theory of quasi-categories (页面存档备份,存于互联网档案馆)
nLab的quasi-category條目
nLab的infinity-category條目
nLab的fundamental+category條目
Bergner, Julia E. Workshop on the homotopy theory of homotopy theories. 2011. arXiv:1108.2001 [math.AT].
nLab的(∞, 1)-category條目
Hinich, Vladimir. Lectures on infinity categories. 2017-09-19. arXiv:1709.06271 [math.CT].
十月 04, 2023
准范畴, 在数学的分支范畴论中, 或称弱kan复合体, 内kan复合体, 无限范畴, 范畴, 博德曼复合体, 是对范畴概念的一个概括, 对这种概括的研究即高阶范畴, 是由boardman, vogt, 1973, 提出的, andré, joyal大大推动了对的研究, 指出大多数通常的基本范畴论及一些高级概念和定理在中都有类似物, jacob, lurie, 2009, 对理论进行了详细论述, 是特定的单纯集合, 与普通范畴相似, 它们包含对象, 单纯集合的0, 简化, 及对象间的态射, 简化, 与范畴不同的是, . 在数学的分支范畴论中 准范畴 或称弱Kan复合体 内Kan复合体 无限范畴 范畴 博德曼复合体 是对范畴概念的一个概括 对这种概括的研究即高阶范畴 准范畴是由Boardman amp Vogt 1973 提出的 Andre Joyal大大推动了对准范畴的研究 指出大多数通常的基本范畴论及一些高级概念和定理在准范畴中都有类似物 Jacob Lurie 2009 对准范畴理论进行了详细论述 准范畴是特定的单纯集合 与普通范畴相似 它们包含对象 单纯集合的0 简化 及对象间的态射 1 简化 与范畴不同的是 两个态射的构成不需要唯一定义 所有可作为两个给定态射组合的态射 都是通过高阶可逆态射 被认为 同伦 的2 简化 相互关联的 高阶态射也可以组合 但只在高阶下才有明确的定义 高阶范畴论的思想 至少当高阶态射可逆时 是 与范畴的标准定义相反 两个对象间应有一个映射空间 而非映射集 这表明 高阶范畴应该只是拓扑增广范畴 然而 准范畴的模型要比拓扑增广范畴的模型更适合应用 尽管雅各 卢里已经证明两者拥有相同的结构 是奎伦等价的 目录 1 定义 2 同伦范畴 3 例子 4 变体 5 另见 6 参考文献定义 编辑准范畴C 是满足内Kan条件 也称 弱Kan条件 的单纯集合 对C中每个内角 inner horn 即简单集的映射L k n C displaystyle Lambda k n to C nbsp 其中0 lt k lt n displaystyle 0 lt k lt n nbsp 有一个填充物 即映射D n C displaystyle Delta n to C nbsp 的扩展 我们的想法是 2 简化D 2 C displaystyle Delta 2 to C nbsp 应是代表交换三角形 至少在同伦情况下 映射L 1 2 C displaystyle Lambda 1 2 to C nbsp 代表一个可组合的对 因此 在准范畴中 态射间实际上无法定义复合律 因为有很多方式可以复合映射 该定义的一个结果是C D 2 C L 1 2 displaystyle C Delta 2 to C Lambda 1 2 nbsp 是一个平凡的Kan纤维化 换句话说 虽然复合律无法唯一定义 但在可缩的选择下是唯一的 同伦范畴 编辑给定准范畴C 可以关联一个普通范畴hC 称为C的同伦范畴 同伦范畴的对象是C的顶点 态射由顶点间的同伦类给出 由n 2的角填充条件 可以得出复合 对于一个一般的简单集 有从sSet到Cat的函子t 1 displaystyle tau 1 nbsp 称作基本范畴函子 对于准范畴C 基本范畴与同伦类相同 即t 1 C h C displaystyle tau 1 C hC nbsp 例子 编辑范畴的神经集是任何内角的填充均唯一的准范畴 反过来说 如果一个准范畴的任何内角都有唯一的填充 那么它必与某类范畴的神经集同构 C的神经集的同伦范畴与C同构 给定拓扑空间X 可以定义其简单集S X 也称为X的基本 广群 S X 是一个准范畴 其中每个态射都可逆 S X 的同伦范畴是X的基本广群 比上述例子更一般 每个Kan复合体都是准范畴 Kan复合体中来自所有角的所有映射都可填充 即Kan复合体中所有态射都可逆 因此Kan复合体是广群的类似物 如果范畴是广群 那么范畴的神经集就是Kan复合体 变体 编辑 1 范畴是 范畴 但不一定是准范畴 其中n 态射 n gt 1 都等价 有西格尔范畴 简单增广范畴 拓扑范畴 完全西格尔空间等几类 准范畴也是 1 范畴 模型结构 sSet 范畴上有模型范畴 提出了 1 范畴 1 Cat 同伦Kan扩展 同伦Kan扩展的概念 特别是同伦极限和同伦并极限的概念 在增广Kan复合体范畴中有直接的表述 所有 1 拓扑斯理论都可以用sSet 范畴模型化 ToenVezzosi 有sSet site C的概念来模拟 1 site 另见 编辑模型范畴 稳定 范畴 广群 高阶范畴 球集参考文献 编辑Boardman J M Vogt R M Homotopy invariant algebraic structures on topological spaces Lecture Notes in Mathematics 347 Berlin New York Springer Verlag 1973 ISBN 978 3 540 06479 4 MR 0420609 doi 10 1007 BFb0068547 Groth Moritz A short course on infinity categories PDF 2023 06 08 原始内容 PDF 存档于2016 03 03 Joyal Andre Quasi categories and Kan complexes Journal of Pure and Applied Algebra 2002 175 1 207 222 MR 1935979 doi 10 1016 S0022 4049 02 00135 4 nbsp Joyal Andre Tierney Myles Quasi categories vs Segal spaces Categories in algebra geometry and mathematical physics Contemp Math 431 Providence R I Amer Math Soc 277 326 2007 MR 2342834 arXiv math AT 0607820 nbsp Joyal A The theory of quasi categories and its applications lectures at CRM Barcelona PDF 2008 原始内容 PDF 存档于July 6 2011 Joyal A Notes on quasicategories PDF 2023 06 08 原始内容存档 PDF 于2011 07 25 Lurie Jacob Higher topos theory Annals of Mathematics Studies 170 Princeton University Press 2009 ISBN 978 0 691 14049 0 MR 2522659 arXiv math CT 0608040 nbsp Joyal s Catlab entry The theory of quasi categories 页面存档备份 存于互联网档案馆 nLab的quasi category條目 nLab的infinity category條目 nLab的fundamental category條目 Bergner Julia E Workshop on the homotopy theory of homotopy theories 2011 arXiv 1108 2001 nbsp math AT nLab的 1 category條目 Hinich Vladimir Lectures on infinity categories 2017 09 19 arXiv 1709 06271 nbsp math CT 取自 https zh wikipedia org w index php title 准范畴 amp oldid 77920992, 维基百科,wiki,书籍,书籍,图书馆,