Joins of closed sublocales are not always a coframe

Igor Arrieta

Given a locale $L$, the collection ${\mathsf{S}}_c(L)$ of joins of closed sublocales forms a frame--somewhat unexpectedly, as it is naturally embedded in the coframe of all sublocale…