1,211 followers
@johncarlosbaez The subobject classifier of any topos forms a Heyting algebra.¹² _____ ¹https://t.co/BuFzQ76jSM ²https://t.co/2N7zIDFPva
@johncarlosbaez The subobject classifier of any topos forms a Heyting algebra.¹² _____ ¹https://t.co/BuFzQ76jSM ²https://t.co/2N7zIDFPva
An English translation of an influential 1985 Russian monograph by Leo Esakia. Now out! Heyting Algebras: Duality Theory by Leo Esakia. Edited by Guram Bezhanishvili and Wesley H. Holliday. https://t.co/CyXXBY5Yq1