Decidable objects and molecular toposes
From MaRDI portal
Publication:6419842
DOI10.33044/revuma.3427arXiv2212.03647MaRDI QIDQ6419842
Publication date: 7 December 2022
18B25: Topoi
18F99: Categories in geometry and topology
18F10: Grothendieck topologies and Grothendieck topoi