查看“︁模型范畴”︁的源代码

{{TA
|G1=Math
}}
在[[数学]]、尤其是[[同伦论]]中，'''模型范畴'''是带有[[弱等价]]、[[纤维化_(数学)|纤维化]]和[[上纤维化]]这三类[[态射]]的[[范畴论|范畴]]，是从传统的[[拓扑空间]]或[[链复形]]的[[同倫範疇]]（即[[导出范畴]]）中抽象化得来。模型范畴的概念最初由[[丹尼尔·奎伦]]引入。

近年来，模型范畴的语言应用到了[[代数K理论]]和[[代数几何]]的部分研究中。在这些分支中，使用同伦论的研究方法得出过深刻的结果。

==动机==

模型范畴提供了研究[[同伦论]]的一个自然的环境：拓扑空间的范畴就是一个模型范畴，其中同伦正是一般意义上的同伦。相似地，许多可以视为拓扑空间的对象也往往带有模型范畴结构，例如[[单纯集合]]的范畴。

另一个模型范畴是''R''-模的[[链复形]]，其中''R'' 是可交换环。在这个意义下的同伦论正是[[同调代数]]。如此同调即可视为同伦的一种，因而使得将同调向群和''R''-代数等的推广成为可能：这也是模型范畴理论最初的主要应用之一。由于这个特例涉及的是同调，对一般的闭模型范畴的研究有时则被视作[[同伦代数]]。

==形式定义==

奎伦最初的定义给出的概念被后人称为“闭模型范畴”，其假设在当时被认为过强，因而促使其它研究者弱化部分假设来定义“模型范畴”。实际操作中，尚未有明确证据说明两者的区别有重要意义，而许多近年作者（如Hovey和Hirschhorn）甚至直接考虑闭模型结构，并放弃强调“闭”这一字眼。

对模型范畴的定义分为两部分：先是范畴上的模型结构，其次才是进一步的范畴论假设。这么做的动机可能一开始不甚明确，但随后会渐渐显出重要性。以下的定义遵循Hovey给出的版本。

范畴''C'' 上的'''模型结构'''由三类映射（更精确地，子范畴）：[[弱等价]]、[[纤维化_(数学)|纤维化]]、和[[上纤维化]]，和两套函子性分解<math>(\alpha , \beta)</math>和<math> (\gamma, \delta)</math>组成，服从以下的公理。同为弱等价的纤维化称为'''非循环'''（或'''平凡'''）'''纤维化'''<ref>许多读者认为“平凡”一词带歧义，因此更偏爱“非循环”一词。</ref>，而同为弱等价的上纤维化则称为'''非循环'''（或'''平凡'''）'''上纤维化'''。

;公理：

# 收缩公理：若''g'' 属于三类态射中的任一类，''f'' 是''g'' 的收缩（作为箭头范畴 <math>C^2</math> 中的对象，其中2代表二元有序集），那么''f'' 属于同一类态射。更直白地说，<math>f:A\to A'</math> 是 <math>g:B\to B'</math> 的收缩当且仅当存在态射 <math>i:A\to B</math>、<math>j:A'\to B'</math>、<math>r:B\to A</math> 和 <math>r:B'\to A'</math>，使得<math>g\circ i=j\circ f </math>、<math>f\circ r=s\circ g </math>，以及 <math>r\circ i=1_A</math> 和 <math>s\circ j=1_{A'}</math>。
# “2 of 3”公理：若''f'' 和''g'' 是''C'' 中的态射，使得''gf'' 可被定义，且这三个映射中任意两个是弱等价，则第三个也是弱等价。
# 提升公理：非循环上纤维化对纤维化满足左提升性质，而上纤维化对非循环纤维化满足左提升性质。明确地说，<math>i:A\to B</math> 对 <math>p:X\to Y</math> 满足'''左提升性质'''当且仅当对于任意态射 <math>f:A\to X</math> 和 <math>g:B\to Y</math> 使得 <math>p\circ f=g\circ i</math>，都存在态射 <math>h:B\to X</math> 满足 <math>f=h\circ i</math> 与  <math>g=p\circ h</math>。假如这样，也称''p'' 对''i'' 满足'''右提升性质'''。
# 分解公理:
#* ''C'' 中的任意态射''f'' 都可被写作 <math>p\circ i</math>，其中''p'' 是纤维化而''i'' 是非循环上纤维化；
#* ''C'' 中的任意态射''f'' 都可被写作 <math>p\circ i</math>，其中''p'' 是非循环纤维化而''i'' 是上纤维化。

'''模型范畴'''是拥有模型结构和所有（小）极限和上极限的范畴，即带有模型结构的完备和上完备范畴。

由公理可以推出三类态射中的任意两类都可确定第三类：给定弱等价和剩余两类态射之一，第三类可由提升性质刻画（见下文）；而给定纤维化和上纤维化，而纤维化和上纤维化（由提升性质）可以确定非循环上纤维化与非循环纤维化，然后弱等价则是由可被分解成非循环上纤维化与非循环纤维化复合所刻画（由分解公理和“2 of 3”公理得到）。

另外，模型范畴的定义是自对偶的：如果''C'' 是一个模型范畴，那么它的[[反范畴]] <math>\mathcal{C}^{op}</math> 也带有一套模型结构，其中弱等价是''C'' 中弱等价的相反（对偶），纤维化是''C'' 中上纤维化的相反，而上纤维化则是''C'' 中的相反。

==例子==

===拓扑空间===
[[拓撲空間範疇]]'''Top'''带有一个模型范畴，以塞尔纤维化为纤维化，和以弱同伦等价为弱等价。然而上纤维化则与通常的[[上纤维化]]稍有不同，而是更小的一类、满足对非循环的塞尔纤维化的左提升性质的映射。等价地，上纤维化是相对胞复形的收缩；见如Hovey的''Model Categories''一书。

这并不是'''Top'''上仅有的模型范畴结构——一般而言给定的范畴上可以有许多种不同的模型范畴。如拓扑空间范畴就带有另一种模型范畴结构，以[[纤维化_(数学)|胡列维茨纤维化]]为纤维化，以像為閉子空間的[[上纤维化|胡列维茨上纤维化]]为上纤维化，和以（强）[[同倫#空間的同倫等價|同伦等价]]为弱等价。

===链复形===
（非负分级）的''R''-模[[链复形]]带有至少以下两套模型结构，在同调代数中都相当重要：
*弱等价为诱导出同调[[同构]]的映射（即[[拟同构]]）
*上纤维化为在每一级上都是[[单同态]]、[[預可加範疇#核與上核|上核]]皆为[[投射模]]的映射，
*纤维化为在除第零级外每一级都是[[满同态]]的映射；

以及
*弱等价为[[拟同构]]
*纤维化为在每一级上都是[[满同态]]、[[預可加範疇#核與上核|核]]皆为[[内射模]]的映射，
*上纤维化为除第零级外每一级都是[[单同态]]的映射。

这也解释了为何计算''R''-模的Ext群时既可以对其源进行投射分解、也可以对其目标进行内射分解：这不过是在两套模型结构内分别进行上纤维子替换和纤维子替换而已。

''R''-模的任意链复形的范畴则带有如下模型结构：

* 弱等价为链复形的[[链复形#鏈同倫|链同伦]]，
* 上纤维化为在每一级上都是分裂的''R''-模单同态的映射，
* 纤维化为在每一级上都是分裂的''R''-模满同态的映射。

===更多例子===

其它带有模型结构的范畴的例子包括所有小范畴的范畴，单纯集合或格罗滕迪克site上的[[单纯预层]]的范畴，拓扑谱的范畴，及单纯谱或小格罗滕迪克site上的单纯谱预层范畴。

范畴中的单纯对象常常是模型范畴的来源；例如，单纯可交换环或单纯''R''-模都带有自然模型结构。这是因为在单纯集合和这些范畴之间有伴随函子对（由[[遗忘函子]]和[[自由函子]]给出），而在好的情况模型结构可以通过这样的伴随对来赋予。

「单纯模型范畴」是指一个单纯范畴，并带有与自身单纯结构共容的模型结构。<ref>Definition 2.1. of [http://arxiv.org/abs/math/0101162] {{Wayback|url=http://arxiv.org/abs/math/0101162|date=20191210204222}}.</ref>

给定任意范畴''C'' 和模型范畴''M''，基于一些额外的假设，[[函子範疇]]Fct(''C'' ,''M'' )（亦称''M'' 中的''C''-图表）也是一个模型范畴。事实上，函子范畴总有两套不同的模型结构供考虑。第一种被称为“投射模型结构”，其中纤维化和弱等价分别是那些每一个''C'' 中的对象都对应于''M'' 中的纤维化和弱等价的自然变换。对偶地，“内射模型结构”的构造相似，只是取上纤维化和弱等价代替纤维化和弱等价。在这两套结构中，第三类态射都由适当的提升条件给出。在某些情况下，例如当''C'' 是一个Reedy范畴时，还有第三套介于投射和内射结构之间的模型结构。

在一个给定的模型范畴中，可以通过迫使某些映射成为弱等价，从而在同一个基范畴中得到一套新的模型范畴结构；这个操作称为Bousfield局部化。例如，单纯[[层_(数学)|层]]范畴上的模型结构可以通过对单纯[[层_(数学)#预层|预层]]上的模型结构进行Bousfield局部化得到。

Denis-Charles Cisinski发展出了<ref>Cisinski, Denis-Charles. Les préfaisceaux comme modèles des types d'homotopie. (French) [Presheaves as models for homotopy types] Astérisque No. 308 (2006), xxiv+390 pp. ISBN 978-2-85629-225-9 MR2294028</ref>一套预层范畴上模型结构的一般理论；这推广了单纯集合，因后者不过是[[单纯范畴]]上的预层。

== 一些构造 ==

因为[[始对象和终对象]]分别是空图表的上极限和极限，由上完备性和完备性可知任一闭模型范畴都有一始对象与一终对象。给定模型范畴中的对一个对象''X''，若从始对象到''X'' 的唯一映射是上纤维化，则称''X'' 为'''上纤维子'''。对应地，若从''X'' 到终对象的唯一映射是纤维化，则称''X'' 为'''纤维子'''。

如果''Z'' 和''X'' 是一个模型范畴中的对象，''Z'' 是上纤维子，且存在从''Z'' 到''X'' 的弱等价，那么称''Z'' 为''X'' 的'''上纤维子替换'''。相似地，如果''Z'' 是纤维子，且存在从''X'' 到''Z'' 的弱等价，那么称''Z'' 为''X'' 的'''纤维子替换'''。一般来说，模型范畴中的对象并非都是纤维子或上纤维子，仅是偶尔如此。例如，在单纯集合的标准模型范畴中所有对象都是上纤维子，而在拓扑空间的标准模型范畴中所有对象都是纤维子。值得注意的是，每个对象都同时有一个纤维子替换和一个上纤维子替换。

借助[http://ncatlab.org/nlab/show/cylinder+object 圆柱对象] {{Wayback|url=http://ncatlab.org/nlab/show/cylinder+object |date=20201104152816 }}可定义左同伦，而借助[http://ncatlab.org/nlab/show/path+space+object 路径空间对象] {{Wayback|url=http://ncatlab.org/nlab/show/path+space+object |date=20201227135653 }}则可定义右同伦，而当域为上纤维子、陪域为纤维子时，这两个概念等价。在这个情况下，同伦构成了模型范畴中态射集上的等价关系，因而给出了态射集上的同伦类。

== 基于提升性质对纤维化和上纤维化的描述 ==

上纤维化可描述成对所有非循环纤维化具有左提升性质的映射，而非循环上纤维化则是对所有纤维化具有左提升性质的映射。相似地，纤维化可描述成对所有非循环上纤维化具有右提升性质的映射，而非循环纤维化则是对所有上纤维化具有右提升性质的映射。在这个意义下，范畴的模型结构完全由弱等价加上纤维化或纤维化之一而唯一确定。

==同伦和同伦范畴==

模型范畴''C'' 的'''同伦范畴'''是''C'' 对于弱等价这类映射的[[局部化]]。这个同伦范畴的定义不取决于纤维化和上纤维化的选择，然而，纤维化和上纤维化这两类映射可用于给出同伦范畴的另一个描述，尤其可以避免一些在对一般范畴进行局部化时遇到的集合论问题。更精确的说，“模型范畴基本定理”声明，''C'' 的同伦范畴等价于一个以''C'' 中同为纤维子和上纤维子的对象为对象、以''C'' 中态射的左同伦类（或等价地，右同伦类）为态射的范畴。（例如，见Hovey的Model Categories，定理1.2.10）

将基本定理应用于标准的拓扑空间模型范畴，可得其同伦范畴等价于对象为[[CW复形]]、态射为连续映射的同伦类的范畴。“同伦范畴”因而得名。

===奎伦伴随===

模型范畴''C'' 和''D'' 之间的[[奎伦伴随]]是一对[[伴随函子]]
:<math>F: C \leftrightarrows D : G</math>
并且''F'' 保持上纤维化和非循环上纤维化，或等价地由闭模型公理可得，''G'' 保持纤维化和非循环纤维化。这样，''F'' 和''G'' 诱导出一对同伦范畴之间的伴随
:<math>LF: Ho(C) \leftrightarrows Ho(D) : RG</math>
另外，对于后者是否[[范畴的等价]]有一套明确的判断条件；若它们是等价，则称''F'' 和''G'' 为'''奎伦等价'''。

奎伦伴随的标准例子是[[单纯集合]]范畴和拓扑空间范畴之间的标准伴随
:<math>|-|: s\mathbf{Set} \leftrightarrows \mathbf{Top} : Sing</math>
涉及单纯集合的[[单纯集合#几何实现|几何实现]]函子和拓扑空间的[[单纯集合#空间的奇异集合|奇异链]]函子。注意虽然范畴s'''Set'''和'''Top'''并不等价，但是他们的同伦范畴却等价。因此，单纯集合常常用作拓扑空间的模型，可以看作是它们同伦范畴等价的结果。

== 注释 ==
{{reflist}}

==另见==
*[[(∞,1)-范畴]]
*[[稳定同伦范畴]]

==参考文献==
* D.-C. Cisinski: ''[http://www.math.univ-toulouse.fr/~dcisinsk/ast.pdf Les préfaisceaux commes modèles des types d'homotopie] {{Wayback|url=http://www.math.univ-toulouse.fr/~dcisinsk/ast.pdf |date=20190618111007 }}'', Astérisque, (308) 2006, xxiv+392 pp.
* W. G. Dwyer and J. Spalinski: ''Homotopy Theories and model categories'', 1995. [http://hopf.math.purdue.edu/Dwyer-Spalinski/theories.pdf] {{Wayback|url=http://hopf.math.purdue.edu/Dwyer-Spalinski/theories.pdf |date=20210117135253 }}
* Philip S. Hirschhorn: ''Model Categories and Their Localizations'', 2003, ISBN 0-8218-3279-4.
* Mark Hovey: ''Model Categories'', 1999, ISBN 0-8218-1359-5.
*   K. H. Kamps and T. Porter: ''Abstract homotopy and simple homotopy theory'', 1997, World Scientific, ISBN 981-02-1602-5.
* G. Maltsiniotis: ''La théorie de l'homotopie de Grothendieck''. Astérisque, (301) 2005, vi+140 pp.
*{{Citation | last1=Quillen | first1=Daniel G. | title=Homotopical algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics, No. 43 | doi=10.1007/BFb0097438 | year=1967 | mr=0223432 | volume=43}}

==延伸阅读==
*http://mathoverflow.net/questions/78400/do-we-still-need-model-categories/ {{Wayback|url=http://mathoverflow.net/questions/78400/do-we-still-need-model-categories/ |date=20201221114823 }}
*http://mathoverflow.net/questions/8663/infinity-1-categories-directly-from-model-categories/8675#8675 {{Wayback|url=http://mathoverflow.net/questions/8663/infinity-1-categories-directly-from-model-categories/8675#8675 |date=20191206012358 }}
*P. Goerss and K. Schemmerhorn, [http://homepages.math.uic.edu/~bshipley/goerss.pdf Model Categories and Simplicial Methods] {{Wayback|url=http://homepages.math.uic.edu/~bshipley/goerss.pdf |date=20201107014600 }}

==外部链接==
*''nLab'' 中的[https://ncatlab.org/nlab/show/model+category 模型范畴] {{Wayback|url=https://ncatlab.org/nlab/show/model+category |date=20210125131424 }}
*Joyal's catlab中的[http://ncatlab.org/joyalscatlab/published/Model+categories 模型范畴] {{Wayback|url=http://ncatlab.org/joyalscatlab/published/Model+categories |date=20191029151204 }}

{{DEFAULTSORT:Model Category}}
[[Category:同伦论]]
[[Category:范畴论]]