The following pages link to (Q3978977):
Displaying 30 items.
- A representation theorem for geometric morphisms (Q613566) (← links)
- The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
- Localic Priestley duality (Q678827) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
- Inverse limits in the category of locales (Q1128126) (← links)
- Proper maps of locales (Q1318788) (← links)
- Compact spaces and distributive lattices. (Q1408349) (← links)
- Presenting locale pullback via directed complete posets (Q1434361) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Representing geometric morphisms using power locale monads (Q1937980) (← links)
- Stably locally compact locales are dual to continuous posets (Q1979302) (← links)
- Stability of properties of locales under groups (Q2014016) (← links)
- Another look on tense and related operators (Q2099808) (← links)
- A new diagonal separation and its relations with the Hausdorff property (Q2121602) (← links)
- Universal approach to \(Z\)-frame envelopes of semilattices (Q2130605) (← links)
- Information systems for continuous posets (Q2367538) (← links)
- Choiceless, pointless, but not useless: dualities for preframes (Q2471003) (← links)
- Completions, comonoids, and topological spaces (Q2575766) (← links)
- On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- (Q4389696) (← links)
- (Q4668868) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- (Q5228883) (← links)
- Presenting Dcpos and Dcpo Algebras (Q5415639) (← links)
- Presenting quotient locales (Q6115833) (← links)
