TY - RPRT TI - Six functor formalisms via internal higher algebra AU - Shachar Carmeli AU - Guy Kapon AU - Noam Nissan PY - 2026 UR - https://arxiv.org/abs/2609.37520 ID - 2609.37520 ER -