The following pages link to Proper maps of locales (Q1318788):
Displaying 29 items.
- Topological inductive definitions (Q450944) (← links)
- A note on proper maps of locales (Q535359) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\) (Q645200) (← links)
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- Countable products of absolute \(C_ \delta\) spaces (Q675100) (← links)
- Remainders in pointfree topology (Q724253) (← links)
- An axiomatic account of weak triquotient assignments in locale theory (Q847673) (← links)
- Lax proper maps of locales (Q861859) (← links)
- On dependent pronouns and dynamic semantics (Q877239) (← links)
- The absolute of a topological space and its application to Abelian \(l\)-groups (Q1022480) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- Facets of descent. I (Q1332450) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- Finite preorders and topological descent. I (Q1850101) (← links)
- Weak locale quotient morphisms and locally connected frames (Q1916421) (← links)
- Maximal Lindelöf locales (Q2011384) (← links)
- On classes of localic maps defined by their behavior on zero sublocales (Q2074369) (← links)
- Isocompactness in the category of locales. (Q2254579) (← links)
- Pitts monads and a lax descent theorem (Q2260278) (← links)
- A preservation result for completely regular locales. (Q2447128) (← links)
- Complemented sublocales and open maps (Q2575771) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- On the Menger and almost Menger properties in locales (Q5000086) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- More on Uniform Paracompactness in Pointfree Topology (Q5254075) (← links)
- Internal Neighbourhood Structures II: Closure and closed morphisms (Q5889210) (← links)
- Presenting quotient locales (Q6115833) (← links)
