TY - RPRT TI - The formal spectrum of a tensor-triangulated category AU - Drew Heard AU - Marius Nielsen PY - 2026 UR - https://arxiv.org/abs/2602.20835 ID - 2602.20835 ER -