2.2. 单纯范畴与拟范畴

本节来正式的构建前文所提到的两种 $(\infty ,1)$-范畴理论. 我们分别将其称为 (局部 Kan)单纯范畴以及拟范畴.

2.2.1Kan 复形

[重写]

2.2.2单纯范畴

2.2.3拟范畴

2.2.4道路范畴与同伦脉