Pages that link to "Item:Q1434363"
From MaRDI portal
The following pages link to A universal characterization of the double powerlocale (Q1434363):
Displaying 25 items.
- Free and cofree acts of dcpo-monoids on directed complete posets. (Q262979) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- A representation theorem for geometric morphisms (Q613566) (← links)
- An axiomatic account of weak triquotient assignments in locale theory (Q847673) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- Equilogical spaces and algebras for a double-power monad (Q1683371) (← links)
- Representing geometric morphisms using power locale monads (Q1937980) (← links)
- Stability of properties of locales under groups (Q2014016) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- (Q3410767) (← links)
- De Groot duality and models of choice: angels, demons and nature (Q3559970) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- (Q5014350) (← links)
- The spectrum of a localic semiring (Q5043356) (← links)
- (Q5208904) (← links)
- (Q5228883) (← links)
- Weighted limits in the category Dcpo-S (Q5355171) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- Presenting quotient locales (Q6115833) (← links)
