Sciweavers

JSYML
2007
97views more  JSYML 2007»
13 years 10 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