C Heyer, L Mann - arXiv preprint arXiv:2410.13038, 2024 - arxiv.org
The purpose of this article is threefold: Firstly, we propose some enhancements to the
existing definition of 6-functor formalisms. Secondly, we systematically study the category of …