Sciweavers

100
Voted
JSYML
2007
97views more  JSYML 2007»
15 years 9 days 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