模型范畴分析与应用.pdfVIP

2.3.模型范畴

虽然在上一节中我们已经说明了两件事:

•有范畴等价hKan≃hCW;

•局部Kan的单纯范畴的同伦脉是拟范畴.

但是我们并没有一套理论来说明如果我们只关心同伦,就可以将以上两件事情真正表述为:

•拓扑空间的同伦信息与单纯集的同伦信息是一样的;

•两种描述(∞,1)-范畴的方式实际上是一样的.

为了说明这些事情,我们需要使用模型范畴(不过讲义中各种定义都会优先避免模型范畴,我主要想告诉你该如何

去看待模型范畴并将其转化为拟范畴关于弱等价的局部化).

2.3.1模型范畴

当然,我觉得这部分也可以看讲义:同伦代数与同调代数/模型范畴.

想法

模型范畴是用来研究关于弱等价进行局部化的理论.

定义2.3.1.1.带有弱等价的范畴是指二元组(C,W),其中:

•C是范畴;

•W为其内一族态射,满足以下性质:

∘C中所有同构均在W内;

∘W满足3选2性质,即对于C中任意图表

∙

∙∙