A Classifying Topos for the Spectrum of Equivalences. - Kenan Oggad (CoRR, 2026)