Topoi with enough points

MaRDI QIDQ6527236arXivFDO

Authors Ivan Di Liberti, Morgan Rogers

Published in arXiv

Mathematics Subject Classification ID

Other infinitary logic (03C75) Categorical logic, topoi (03G30) Topoi (18B25) Categorical semantics of formal languages (18C50) Grothendieck topologies and Grothendieck topoi (18F10) Frames and locales, pointfree topology, Stone duality (18F70)

This page was built for publication: Topoi with enough points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6527236)