Can you summarize the following document?
        
  模型範疇提供了研究同倫論的一個自然的環境:拓撲空間的範疇就是一個模型範疇,其中同倫正是一般意義上的同倫。相似地,許多可以視為拓撲空間的物件也往往帶有模型範疇結構,例如單純集合的範疇。  另一個模型範疇是"R"-模的鏈復形,其中"R" 是可交換環。在這個意義下的同倫論正是同調代數。如此同調即可視為同倫的一種,因而使得將同調向群和"R"-代數等的推廣成為可能:這也是模型範疇理論最初的主要應用之一。由於這個特例涉及的是同調,對一般的閉模型範疇的研究有時則被視作同倫代數。

  奎倫最初的定義給出的概念被後人稱為“閉模型範疇”,其假設在當時被認為過強,因而促使其它研究者弱化部分假設來定義“模型範疇”。實際操作中,尚未有明確證據說明兩者的區別有重要意義,而許多近年作者(如Hovey和Hirschhorn)甚至直接考慮閉模型結構,並放棄強調“閉”這一字眼。  對模型範疇的定義分為兩部分:先是範疇上的模型結構,其次才是進一步的範疇論假設。這麼做的動機可能一開始不甚明確,但隨後會漸漸顯出重要性。以下的定義遵循Hovey給出的版本。  範疇"C" 上的模型結構由三類對映(更精確地,子範疇):弱等價、纖維化、和上纖維化,和兩套函子性分解formula_1和formula_2組成,服從以下的公理。同為弱等價的纖維化稱為非迴圈(或平凡)纖維化,而同為弱等價的上纖維化則稱為非迴圈(或平凡)上纖維化。  模型範疇是擁有模型結構和所有(小)極限和上極限的範疇,即帶有模型結構的完備和上完備範疇。  由公理可以推出三類態射中的任意兩類都可確定第三類:給定弱等價和剩餘兩類態射之一,第三類可由提升性質刻畫(見下文);而給定纖維化和上纖維化,而纖維化和上纖維化(由提升性質)可以確定非迴圈上纖維化與非迴圈纖維化,然後弱等價則是由可被分解成非迴圈上纖維化與非迴圈纖維化複合所刻畫(由分解公理和“2 of 3”公理得到)。  另外,模型範疇的定義是自對偶的:如果"C" 是一個模型範疇,那麼它的反範疇 formula_24 也帶有一套模型結構,其中弱等價是"C" 中弱等價的相反(對偶),纖維化是"C" 中上纖維化的相反,而上纖維化則是"C" 中的相反。

  

  拓撲空間範疇Top帶有一個模型範疇,以塞爾纖維化為纖維化,和以弱同倫等價為弱等價。然而上纖維化則與通常的上纖維化稍有不同,而是更小的一類、滿足對非迴圈的塞爾纖維化的左提升性質的對映。等價地,上纖維化是相對胞復形的收縮;見如Hovey的"Model Categories"一書。  這並不是Top上僅有的模型範疇結構——一般而言給定的範疇上可以有許多種不同的模型範疇。如拓撲空間範疇就帶有另一種模型範疇結構,以胡列維茨纖維化為纖維化,以標準的上纖維化為上纖維化,和以(強)同倫等價為弱等價。

  (非負分級)的"R"-模鏈復形帶有至少以下兩套模型結構,在同調代數中都相當重要:  以及  這也解釋了為何計算"R"-模的Ext群時既可以對其源進行投射分解、也可以對其目標進行內射分解:這不過是在兩套模型結構內分別進行上纖維子替換和纖維子替換而已。  "R"-模的任意鏈復形的範疇則帶有如下模型結構:

  其它帶有模型結構的範疇的例子包括所有小范疇的範疇,單純集合或格羅滕迪克site上的單純預層的範疇,拓撲譜的範疇,及單純譜或小格羅滕迪克site上的單純譜預層範疇。  範疇中的單純物件常常是模型範疇的來源;例如,單純可交換環或單純"R"-模都帶有自然模型結構。這是因為在單純集合和這些範疇之間有伴隨函子對(由遺忘函子和自由函子給出),而在好的情況模型結構可以通過這樣的伴隨對來賦予。  "單純模型範疇" 是指一個單純範疇,並帶有與自身單純結構共容的模型結構。  給定任意範疇"C" 和模型範疇"M",基於一些額外的假設,函子範疇Fct("C","M" )(亦稱"M" 中的"C"-圖表)也是一個模型範疇。事實上,函子範疇總有"兩" 套不同的模型結構供考慮。第一種被稱為“投射模型結構”,其中纖維化和弱等價分別是那些每一個"C" 中的物件都對應於"M" 中的纖維化和弱等價的自然變換。對偶地,“內射模型結構”的構造相似,只是取上纖維化和弱等價代替纖維化和弱等價。在這兩套結構中,第三類態射都由適當的提升條件給出。在某些情況下,例如當"C" 是一個Reedy範疇時,還有第三套介於投射和內射結構之間的模型結構。  在一個給定的模型範疇中,可以通過迫使某些對映成為弱等價,從而在同一個基範疇中得到一套新的模型範疇結構;這個操作稱為Bousfield區域性化。例如,單純層範疇上的模型結構可以通過對單純預層上的模型結構進行Bousfield區域性化得到。  Denis-Charles Cisinski發展出了一套預層範疇上模型結構的一般理論;這推廣了單純集合,因後者不過是單純範疇上的預層。

  因為始物件和終物件分別是空圖表的上極限和極限,由上完備性和完備性可知任一閉模型範疇都有一始物件與一終物件。給定模型範疇中的對一個物件"X",若從始物件到"X" 的唯一對映是上纖維化,則稱"X" 為上纖維子。對應地,若從"X" 到終物件的唯一對映是纖維化,則稱"X" 為纖維子。  如果"Z" 和"X" 是一個模型範疇中的物件,"Z" 是上纖維子,且存在從"Z" 到"X" 的弱等價,那麼稱"Z" 為"X" 的上纖維子替換。相似地,如果"Z" 是纖維子,且存在從"X" 到"Z" 的弱等價,那麼稱"Z" 為"X" 的纖維子替換。一般來說,模型範疇中的物件並非都是纖維子或上纖維子,僅是偶爾如此。例如,在單純集合的標準模型範疇中所有物件都是上纖維子,而在拓撲空間的標準模型範疇中所有物件都是纖維子。值得注意的是,每個物件都同時有一個纖維子替換和一個上纖維子替換。  藉助圓柱物件可定義左同倫,而藉助路徑空間物件則可定義右同倫,而當域為上纖維子、陪域為纖維子時,這兩個概念等價。在這個情況下,同倫構成了模型範疇中態射集上的等價關係,因而給出了態射集上的同倫類。

  上纖維化可描述成對所有非迴圈纖維化具有左提升性質的對映,而非迴圈上纖維化則是對所有纖維化具有左提升性質的對映。相似地,纖維化可描述成對所有非迴圈上纖維化具有右提升性質的對映,而非迴圈纖維化則是對所有上纖維化具有右提升性質的對映。在這個意義下,範疇的模型結構完全由弱等價加上纖維化或纖維化之一而唯一確定。

  模型範疇"C" 的同倫範疇是"C" 對於弱等價這類對映的區域性化。這個同倫範疇的定義不取決於纖維化和上纖維化的選擇,然而,纖維化和上纖維化這兩類對映可用於給出同倫範疇的另一個描述,尤其可以避免一些在對一般範疇進行區域性化時遇到的集合論問題。更精確的說,“模型範疇基本定理”宣告,"C" 的同倫範疇等價於一個以"C" 中同為纖維子和上纖維子的物件為物件、以"C" 中態射的左同倫類(或等價地,右同倫類)為態射的範疇。(例如,見Hovey的Model Categories,定理1.2.10)  將基本定理應用於標準的拓撲空間模型範疇,可得其同倫範疇等價於物件為CW復形、態射為連續對映的同倫類的範疇。“同倫範疇”因而得名。

  模型範疇"C" 和"D" 之間的奎倫伴隨是一對伴隨函子 並且"F" 保持上纖維化和非迴圈上纖維化,或等價地由閉模型公理可得,"G" 保持纖維化和非迴圈纖維化。這樣,"F" 和"G" 誘匯出一對同倫範疇之間的伴隨 另外,對於後者是否範疇的等價有一套明確的判斷條件;若它們是等價,則稱"F" 和"G" 為奎倫等價。  奎倫伴隨的標準例子是單純集合範疇和拓撲空間範疇之間的標準伴隨 涉及單純集合的幾何實現函子和拓撲空間的奇異鏈函子。注意雖然範疇sSet和Top並不等價,但是他們的同倫範疇卻等價。因此,單純集合常常用作拓撲空間的模型,可以看作是它們同倫範疇等價的結果。
在數學、尤其是同倫論中,模型範疇是帶有弱等價、纖維化和上纖維化這三類態射的範疇,是從傳統的拓撲空間或鏈復形的同倫範疇(即匯出範疇)中抽象化得來。模型範疇的概念最初由丹尼爾·奎倫引入。