Decidable objects and molecular toposes

DOI10.33044/revuma.3427arXiv2212.03647MaRDI QIDQ6419842

Matias Menni

Publication date: 7 December 2022

Mathematics Subject Classification ID

18B25: Topoi

18F99: Categories in geometry and topology

18F10: Grothendieck topologies and Grothendieck topoi