参考文献

参考文献

[Adámek and Rosický, 2001]	Adámek, J. and Rosický, J. (2001). On sifted colimits and generalized varieties. 8:33–53.
[Alexander Beilinson and Gabber, 1983]	Alexander Beilinson, Joseph Bernstein, P. D. and Gabber, O. (1983). Faisceaux pervers. Astérisque, 100.
[Bhatt and Scholze, 2022]	Bhatt, B. and Scholze, P. (2022). Prisms and prismatic cohomology. Annals of Mathematics, 196(3).
[Chen, 2024]	Chen, L. (2024). Fall 2024: Infinite category theory. https://windshower.github.io/linchen/teaching/f2024.html.
[Chu and Haugseng, 2021]	Chu, H. and Haugseng, R. (2021). Homotopy-coherent algebra via segal conditions. Advances in Mathematics, 385:107733.
[Cnossen, 2025]	Cnossen, B. (2025). Introduction to stable homotopy theory. https://sites.google.com/view/bastiaan-cnossen/teaching/wi24-introduction-to-stable-homotopy-theory.
[Denis-Charles Cisinski and Walde, ress]	Denis-Charles Cisinski, Bastiaan Cnossen, K. N. and Walde, T. (In Progress). Formalization of higher categories. https://drive.google.com/file/d/1lKaq7watGGl3xvjqw9qHjm6SDPFJ2-0o/view.
[Drew and Gallauer, 2022]	Drew, B. and Gallauer, M. (2022). The universal six-functor formalism. Annals of K-Theory, 7(4):599–649.
[Fu, 2015]	Fu, L. (2015). Etale Cohomology Theory. WORLD SCIENTIFIC.
[Gaitsgory and Rozenblyum, 2010]	Gaitsgory, D. and Rozenblyum, N. (2010). A study in derived algebraic geometry volume i: Correspondences and duality. https://people.mpim-bonn.mpg.de/gaitsgde/Book/Vol1.pdf.
[Hebestreit, 2021]	Hebestreit, F. (2021). Algebraic and hermitian $k$-theory. https://florianadler.github.io/AlgebraBonn/KTheory.pdf.
[Heyer and Mann, 2024]	Heyer, C. and Mann, L. (2024). 6-functor formalisms and smooth representations.
[Hovey, 1999]	Hovey, M. (1999). Model Categories, volume 63 of Mathematical Surveys and Monographs. American Mathematical Society.
[Khan, 2023]	Khan, A. A. (2023). Weaves. https://www.preschema.com/papers/weaves.pdf.
[Kuijper, 2024]	Kuijper, J. (2024). An axiomatization of six-functor formalisms.
[Lawvere, 1963]	Lawvere, F. W. (1963). Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, 50(5):869–872.
[Liu and Zheng, 2024]	Liu, Y. and Zheng, W. (2024). Enhanced six operations and base change theorem for higher artin stacks.
[Loregian, 2021]	Loregian, F. (2021). (Co)end Calculus. Cambridge University Press.
[Lucas Mann, 2022]	Lucas Mann (2022). A p-Adic 6-Functor Formalism in Rigid-Analytic Geometry. PhD thesis, Rheinische Friedrich-Wilhelms-Universität Bonn.
[Lurie, 2009]	Lurie, J. (2009). Higher topos theory, volume 170 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ.
[Lurie, 2017]	Lurie, J. (2017). Higher algebra. https://www.math.ias.edu/ lurie/papers/HA.pdf.
[Lurie, 2018a]	Lurie, J. (2018a). Kerodon. https://kerodon.net.
[Lurie, 2018b]	Lurie, J. (2018b). Spectral algebraic geometry. https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf.
[Rosický, 2007]	Rosický, J. (2007). On homotopy varieties. Advances in Mathematics, 214(2):525–550.
[Scholze, 2022]	Scholze, P. (2022). Six-functor formalisms. https://people.mpim-bonn.mpg.de/scholze/SixFunctors.pdf.
[李文威, 2018]	李文威 (2018). 代数学方法 (第一卷)—基础架构. 高等教育出版社.
[李文威, 2024]	李文威 (2024). 代数学方法 (第二卷)—线性代数. 高等教育出版社.