Sciweavers

JSYML
2007
97views more  JSYML 2007»
13 years 5 months ago
Sublocales in formal topology
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
Steven Vickers