All topoi are localic or why permutation models prevail

DOI10.1016/0022-4049(87)90042-9zbMath0611.18003OpenAlexW2037726622MaRDI QIDQ1087632

Peter J. Freyd

Publication date: 1987

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(87)90042-9

zbMATH Keywords

localetopos of sheavesGrothendieck toposcomplete Heyting algebraBoolean toposexponential varietiestopos of sets

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items

Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator, Unnamed Item, Unnamed Item, Introduction: A personal tribute to Peter Freyd and Bill Lawvere, An elementary definability theorem for first order logic, Unnamed Item