Thoka, Mahuleng Ludwick
(2007)
The category Loc of locales and continuous maps is dual to the category
Frm of frames and frame homomorphisms. Regular subobjects of a locale A
are elements of the form
Aj = fj : A ! A j j(a) = ag:
The subobjects of ...