Full Subcategory: SpLoc ⊊ Loc

SpLoc is a full subcategory of Loc. When any two locales of Loc are spatial locales in SpLoc, all continuous maps between them are continuous maps in SpLoc too. Put another way, SpLoc has only some of the objects of Loc, but all of the arrows.

In terms of stuff, structure, and properties, spatial locales are like locales but with extra properties.

full_subcategories: SpLoc, Loc

This data as json