TY - RPRT TI - Universality of span 2-categories and the construction of 6-functor formalisms AU - Bastiaan Cnossen AU - Tobias Lenz AU - Sil Linskens PY - 2026 UR - https://arxiv.org/abs/2505.19192 ID - 2505.19192 ER -