Loading paper
Definable functoriality of tensor-triangular spectra | Tomesphere