Gallauer, Martin Max Planck Institute for Mathematics, Max Planck Society;
https://doi.org/10.48550/arXiv.2112.10456 (Preprint)
Gallauer, M. (in press). An introduction to six-functor formalisms. In Proceedings.