Pages that link to "Item:Q3156489"
From MaRDI portal
The following pages link to The double powerlocale and exponentiation: A case study in geometric logic (Q3156489):
Displaying 21 items.
- Continuity and geometric logic (Q280833) (← links)
- Positivity relations on a locale (Q290642) (← links)
- A representation theorem for geometric morphisms (Q613566) (← links)
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- An axiomatic account of weak triquotient assignments in locale theory (Q847673) (← links)
- Fuzzy sets and geometric logic (Q969577) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Representing geometric morphisms using power locale monads (Q1937980) (← links)
- Stably locally compact locales are dual to continuous posets (Q1979302) (← links)
- Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- (Q5009708) (← links)
- (Q5228883) (← links)
- A localic theory of lower and upper integrals (Q5448621) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- Presenting quotient locales (Q6115833) (← links)
