New posts in Locales

PostgreSQL: difference between collations 'C' and 'C.UTF-8'

How to rewrite mathematics constructively?

Locales as spaces of ideal/imaginary points

Is it possible to completely embed complete Heyting Algebras into upsets of a poset?

Constructive proofs of existence in analysis using locales

Locales in constructive mathematics

Locales as geometric objects

reference request : constructive measure theory

Stone Spaces, Locales, and Topoi for the (relative) beginner