QUOTIENTS, PURE EXISTENTIAL COMPLETIONS AND ARITHMETIC UNIVERSES. - MAIETTI, MARIA EMILIA; TROTTA, DAVIDE (Theory & Applications of Categories, 2024)