1
Localic Caratheodory Extension
▶
1.1
Basics of Locales
1.2
Embedding
1.3
Sublocals
▶
1.3.1
(1.4) Sublocal Union and Intersection
1.3.2
(7) Open Sublocals
1.4
Caratheodory Extnesion on Locales
2
Locales correspond to Topology
▶
2.1
Leroy Chapter V
Chapter 1 graph
Chapter 2 graph
leroy
Chiara Cimino Christian Krause
1
Localic Caratheodory Extension
1.1
Basics of Locales
1.2
Embedding
1.3
Sublocals
1.3.1
(1.4) Sublocal Union and Intersection
1.3.2
(7) Open Sublocals
1.4
Caratheodory Extnesion on Locales
2
Locales correspond to Topology
2.1
Leroy Chapter V