参考文献

参考文献

[AR01]	J. Adamek and J. Rosicky. On sifted colimits and generalized varieties. Theory and Applications of Categories, 8:33–53, 2001.
[BBDG18]	Alexander Beilinson, Joseph Bernstein, Pierre Deligne, and Ofer Gabber. Faisceaux pervers, volume 4. Société mathématique de France Paris, 2018.
[BS22]	Bhargav Bhatt and Peter Scholze. Prisms and prismatic cohomology. https://arxiv.org/abs/1905.08229, 2022.
[CH21]	Hongyi Chu and Rune Haugseng. Homotopy-coherent algebra via segal conditions. Advances in Mathematics, 385:107733, 2021.
[Che24]	Lin Chen. Fall 2024: Infinite category theory. https://windshower.github.io/linchen/teaching/f2024.html, 2024.
[CS23]	Kestutis Cesnavicius and Peter Scholze. Purity for flat cohomology. https://arxiv.org/abs/1912.10932, 2023.
[DG22]	Brad Drew and Martin Gallauer. The universal six-functor formalism. Annals of K-Theory, 7(4):599–649, December 2022.
[Fu15]	L. Fu. Etale Cohomology Theory (Revised Edition). Nankai Tracts In Mathematics. World Scientific Publishing Company, 2015.
[GR10]	Dennis Gaitsgory and Nick Rozenblyum. A study in derived algebraic geometry Volume I: Correspondences and duality. preprint, 2010.
[HM24]	Claudius Heyer and Lucas Mann. 6-functor formalisms and smooth representations. https://arxiv.org/abs/2410.13038, 2024.
[Law63]	F William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences, 50(5):869–872, 1963.
[Lur09a]	Jacob Lurie. Derived algebraic geometry iv: Deformation theory. https://arxiv.org/abs/0709.3091, 2009.
[HTT]	Jacob Lurie. Higher Topos Theory. Academic Search Complete. Princeton University Press, 2009.
[HA]	Jacob Lurie. Higher algebra. https://people.math.harvard.edu/ lurie/papers/HA.pdf, 2017.
[Kerodon]	Jacob Lurie. Kerodon. https://kerodon.net, 2018.
[Lur18b]	Jacob Lurie. Spectral algebraic geometry. https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf, 2018.
[LZ24]	Yifeng Liu and Weizhe Zheng. Enhanced six operations and base change theorem for higher Artin stacks, 2024.
[Man22]	Lucas Mann. A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry, 2022.
[Ros06]	J. Rosicky. On homotopy varieties. https://arxiv.org/abs/math/0509655, 2006.
[Sch22]	P. Scholze. Six-Functor Formalisms, 2022.
[Wag21]	Ferdinand Wagner. Algebraic and hermitian $k$-theory. https://florianadler.github.io/AlgebraBonn/KTheory.pdf, 2021.
[Wag24]	Ferdinand Wagner. $\infty$-categories in topology. https://florianadler.github.io/inftyCats/inftyCats.pdf, 2024.
[Khan]	Adeel Khan. Weaves. Available at https://www.preschema.com/papers/weaves.pdf.
[Kui24]	Josefien Kuijper. An axiomatization of six-functor formalisms, 2024. https://arxiv.org/abs/2309.11449.