The following pages link to Sublocales in formal topology (Q5294021):
Displayed 5 items.
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)