查看“︁准范畴”︁的源代码

在数学的分支[[范畴论]]中，'''准范畴'''（或称'''弱Kan复合体'''、'''内Kan复合体'''、'''无限范畴'''、'''∞-范畴'''、'''博德曼复合体'''）是对[[范畴 (数学)|范畴]]概念的一个概括，对这种概括的研究即[[高阶范畴]]。

准范畴是由{{harvtxt|Boardman|Vogt|1973}}提出的。André Joyal大大推动了对准范畴的研究，指出大多数通常的基本范畴论及一些高级概念和定理在准范畴中都有类似物。{{harvs|txt|authorlink=雅各·卢里|first=Jacob|last= Lurie|year=2009}}对准范畴理论进行了详细论述。

准范畴是特定的[[单纯集合]]。与普通范畴相似，它们包含对象（单纯集合的0-單體）及对象间的态射（1-單體）。与范畴不同的是，两个态射的複合不需要唯一定义，所有可作为两个给定态射複合的态射，都是通过高阶可逆态射（2-單體，可被想像為一種“同伦”）相互关联的。高阶态射也可以组合，但只在更高阶的態射下才有明确的定义。

高阶范畴论的想法（至少当高阶态射可逆时）是，与范畴的标准定义不同，两个对象间应有一个映射空间（而非映射集）。这表明，高阶范畴应该只是[[拓扑范畴|拓扑增广范畴]]。然而，准范畴的模型要比拓扑增广范畴的模型更适合应用，尽管雅各·卢里已经证明两者對應的模型範疇是[[奎伦伴随|奎伦等价]]的。

==定义==
准范畴''C'' 是满足内Kan条件（也称“弱Kan条件”）的[[单纯集合]]：对''C''中每个内角（inner horn），即单纯集的映射<math>\Lambda^k[n]\to C</math>，其中<math>0<k<n</math>有一个填充物，即映射<math>\Delta[n]\to C</math>的扩展。

我们的想法是，2-简化<math>\Delta[2] \to C</math>应是代表交换三角形（至少在同伦情况下）。映射<math>\Lambda^1[2] \to C</math>代表一个可组合的对。因此，在准范畴中，态射间实际上无法定义复合律，因为有很多方式可以复合映射。

该定义的一个结果是<math>C^{\Delta[2]} \to C^{\Lambda^1[2]}</math>，是一个平凡的Kan纤维化。换句话说，虽然复合无法唯一定义，但在可缩的选择下是唯一的。

==同伦范畴==
给定准范畴''C''，可以关联一个普通范畴''hC''，称为''C''的[[同伦范畴]]。同伦范畴的对象是''C''的[[顶点 (图论)|顶点]]，态射由顶点间的同伦类给出。由n=2的角填充条件，可以得出复合。

对于一个一般的简单集，有从'''sSet'''到'''Cat'''的函子<math>\tau_1</math>，称作基本范畴函子；对于准范畴''C''，基本范畴与同伦类相同，即<math>\tau_1(C)=hC</math>。

==例子==
*范畴的[[神经集 (范畴论)|神经集]]是任何内角的填充均唯一的准范畴。反过来说，如果一个准范畴的任何内角都有唯一的填充，那么它必与某类范畴的神经集同构。''C''的神经集的同伦范畴与''C''同构。
*给定拓扑空间''X''，可以定义其简单集''S''(''X'')，也称为''X''的基本&infin;-广群。''S''(''X'')是一个准范畴，其中每个态射都可逆。''S''(''X'')的同伦范畴是''X''的基本[[广群]]。
*比上述例子更一般，每个Kan复合体都是准范畴。Kan复合体中来自所有角的所有映射都可填充，即Kan复合体中所有态射都可逆。因此Kan复合体是广群的类似物——如果范畴是广群，那么范畴的神经集就是Kan复合体。

== 变体 ==
*'''(∞,&nbsp;1)-范畴'''是∞-范畴，但不一定是准范畴。其中''n''-态射（n>1）都等价。有[[西格尔范畴]]、[[简单增广范畴]]、[[拓扑范畴]]、完全[[西格尔空间]]等几类。准范畴也是(∞,&nbsp;1)-范畴。


* '''模型结构''' sSet-范畴上有模型范畴，提出了(∞,1)-范畴(∞,1)Cat。

* '''同伦Kan扩展''' 同伦Kan扩展的概念，特别是同伦极限和同伦并极限的概念，在增广Kan复合体范畴中有直接的表述。

* 所有'''(∞,1)-拓扑斯理论'''都可以用sSet-范畴模型化（ToënVezzosi）。有sSet-site C的概念来模拟(∞,1)-site。

== 另见 ==
*[[模型范畴]]
*[[稳定∞-范畴]]
*[[∞-广群]]
*[[高阶范畴]]
* [[球集]]

==参考文献==
*{{Citation | last1=Boardman | first1=J. M. | last2=Vogt | first2=R. M. | title=Homotopy invariant algebraic structures on topological spaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics | doi=10.1007/BFb0068547 | mr=0420609 | year=1973 | volume=347| isbn=978-3-540-06479-4 }}
*{{citation|first= Moritz|last= Groth|title= A short course on infinity-categories|url= http://www.math.uni-bonn.de/~mgroth/InfinityCategories.pdf|accessdate= 2023-06-08|archive-date= 2016-03-03|archive-url= https://web.archive.org/web/20160303200303/http://www.math.uni-bonn.de/~mgroth/InfinityCategories.pdf|dead-url= yes}}
*{{Citation | last1=Joyal | first1=André | author1-link=André Joyal | title=Quasi-categories and Kan complexes | doi=10.1016/S0022-4049(02)00135-4 | mr=1935979 | year=2002 | journal=Journal of Pure and Applied Algebra   | volume=175 | issue=1 | pages=207–222| doi-access=free }}
*{{Citation | last1=Joyal | first1=André | author1-link=André Joyal | last2=Tierney | first2=Myles | title=Categories in algebra, geometry and mathematical physics | arxiv=math.AT/0607820 | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Contemp. Math. | mr=2342834 | year=2007 | volume=431 | chapter=Quasi-categories vs Segal spaces | pages=277–326}}
*{{citation|first=A. |last=Joyal |title=The theory of quasi-categories and its applications, lectures at CRM Barcelona |year=2008 |url=http://www.crm.cat/HigherCategories/hc2.pdf |url-status=dead |archiveurl=https://web.archive.org/web/20110706214636/http://www.crm.cat/HigherCategories/hc2.pdf |archivedate=July 6, 2011 }}
*{{citation|first= A.|last= Joyal|title= Notes on quasicategories|url= http://www.math.uchicago.edu/~may/IMA/Joyal.pdf|accessdate= 2023-06-08|archive-date= 2011-07-25|archive-url= https://web.archive.org/web/20110725050202/http://www.math.uchicago.edu/~may/IMA/Joyal.pdf|dead-url= no}}
*{{Citation | last1=Lurie | first1=Jacob | title=Higher topos theory | arxiv=math.CT/0608040 | publisher=[[Princeton University Press]] | series=Annals of Mathematics Studies | isbn=978-0-691-14049-0| mr=2522659 | year=2009 | volume=170}}
* Joyal's Catlab entry: [http://ncatlab.org/joyalscatlab/show/The+theory+of+quasi-categories The theory of quasi-categories] {{Wayback|url=http://ncatlab.org/joyalscatlab/show/The+theory+of+quasi-categories |date=20110823021222 }}
* {{nlab|id=quasi-category}}
* {{nlab|id=infinity-category}}
* {{nlab|id=fundamental+category}}
* {{cite arXiv |eprint=1108.2001|last1=Bergner|first1=Julia E|authorlink= Julie Bergner |title=Workshop on the homotopy theory of homotopy theories|class=math.AT|year=2011}}
*{{nlab|id=%28infinity%2C1%29-category|title=(∞,&nbsp;1)-category}}
*{{cite arXiv|last=Hinich|first=Vladimir|date=2017-09-19|title=Lectures on infinity categories|eprint=1709.06271|class=math.CT}}

{{范畴论}}

[[Category:同伦论]]
[[Category:高阶范畴论]]