TY - RPRT TI - Uniqueness of six-functor formalisms AU - Adam Dauser AU - Josefien Kuijper PY - 2025 UR - https://arxiv.org/abs/2412.15780 ID - 2412.15780 ER -