nLab
subframe

A subframe is a subobject in the category Frm of frames. More explicitly, if L is a frame, then a subframe of L is a subset M of the underlying set of L such that M is closed under arbitrary joins and finitary meets (including having the bottom and top elements).

In the correspondence between frames and locales, a subframe corresponds to a kind of quotient locale. However, only regular quotients of locales behave as quotient spaces for the purposes of topology. These correspond to regular subframes; not all subframes are regular.

Is there a convenient elementary description of when a subframe is regular?

Created on February 1, 2010 23:24:54 by Toby Bartels (173.60.119.197)