参考文献

Kerodon, 閲覧日 2022-12-09, https://kerodon.net/
Charles Rezk, Introduction to quasicategories, 閲覧日 2022-12-09, https://faculty.math.illinois.edu/~rezk/quasicats.pdf
alg-d, 例: 単体的集合, 壱大整域, 閲覧日 2022-12-09, http://alg-d.com/math/kan_extension/simplex.pdf
Jacob Lurie, Higher Topos Theory, Annals of Mathematics Studies, Princeton University Press, 2009
A. Joyal, Quasi-categories and Kan complexes, Journal of Pure and Applied Algebra 175 (), 2002, pp. 207-222