参考文献

[CatWork]	S. Mac Lane (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics 5. Springer.
[DK1]	W. G. Dwyer and D. M. Kan (1980). Simplicial Localizations of Categories. Journal of Pure and Applied Algebra 17, 267–284.
[DK2]	W. G. Dwyer and D. M. Kan (1980). Calculating Simplicial Localizations. Journal of Pure and Applied Algebra 18, 17–35.
[HA]	J. Lurie. Higher Algebra. Preprint.
[Hinich1]	V. Hinich. Dwyer–Kan Localization Revisited. arXiv:1311.4128.
[Hinich2]	V. Hinich. Lectures on Infinity Categories. arXiv:1709.06271.
[HoTT]	The Univalent Foundations Program (2013). Homotopy Type Theory.
[Hovey]	M. Hovey (1999). Model Categories. Mathematical Surveys and Monographs 63. AMS.
[HTT]	J. Lurie (2009). Higher Topos Theory. Annals of Mathematics Studies 170. Princeton University Press.