Monthly Archives: June 2016

Locales, sublocales III: the frame of nuclei

My goal today is to describe two elegant proofs of the fact that nuclei form a frame. There are many proofs of that. The main difficulty is that, while meets (infima) of nuclei are taken pointwise, joins (suprema) are much … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on Locales, sublocales III: the frame of nuclei