[1] Anel, M., Biedermann, G., Finster, E., Joyal, A.: A generalized Blakers–Massey theorem. Journal of Topology 13, no. 4, 1521–1553, doi:10.1112/topo.12163 DOI 10.1112/topo.12163

[2] Anel, M., Biedermann, G., Finster, E., Joyal, A.: Left-exact localizations of $\infty$-̄topoi II: Grothendieck topologies. Journal of Pure and Applied Algebra 228, no. 3, 107472, doi:10.1016/j.jpaa.2023.107472 DOI 10.1016/j.jpaa.2023.107472

[3] Bhatt, B., Scholze, P.: The pro-étale topology for schemes. Astérisque 369, 99–201

[4] Clausen, D., Scholze, P.: Analytic Stacks. Lecture Course (2023–2024). Available on YouTube

[5] Dugger, D., Hollander, S., Isaksen, D. C.: Hypercovers and simplicial presheaves. Mathematical Proceedings of the Cambridge Philosophical Society 136, no. 1, 9–51

[6] Engelking, R.: Dimension theory. Mathematical Studies, North-Holland

[7] The Univalent Foundations Program: Homotopy type theory: Univalent foundations of mathematics. Institute for Advanced Study, on the HoTT website

[8] Jech, T. J.: The axiom of choice. Studies in Logic and the Foundations of Mathematics, Vol. 75, North-Holland, Amsterdam-London; American Elsevier, New York

[9] Jensen, R. B.: Consistency results for ZF. Notices of the Amer. Math. Soc. 14, no. 1, 137

[10] Lurie, J.: Higher topos theory. Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton

[11] Lurie, J.: Spectral algebraic geometry. version of February 3, Online book

[12] Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Universitext, Springer New York

[13] Mejak, S.: Topos models of set-theoretic principles. Master's thesis, University of Ljubljana. https://www.researchgate.net/publication/334737639_TOPOS_MODELS_OF_SET-THEORETIC_PRINCIPLES

[14] Milner, O.: choicepostnikov github repository. https://github.com/owen-milner/choicepostnikov

[15] Mondal, S., Reinecke, E.: On Postnikov completeness for replete topoi. arXiv:2210.14146

[16] authors, nLab: Elementary $(\infty,1)$-topos. nLab page, June 2021

[17] Rasekh, N.: A Theory of Elementary Higher Toposes. arXiv:1805.03805

[18] Rezk, C.: Toposes and Homotopy Toposes. Note, available on Rezk's homepage

[19] Roos, J.-E.: Derived Functors of Inverse Limits Revisited. Journal of the London Mathematical Society 73, no. 1, 65–83 DOI 10.1112/S0024610705022416