Pages that link to "Item:Q5415639"
From MaRDI portal
The following pages link to Presenting Dcpos and Dcpo Algebras (Q5415639):
Displaying 13 items.
- Free and cofree acts of dcpo-monoids on directed complete posets. (Q262979) (← links)
- The Dedekind MacNeille site completion of a meet semilattice (Q331015) (← links)
- Extending algebraic operations to D-completions (Q418818) (← links)
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- Dcpo-completion of posets (Q974109) (← links)
- Cartesian closed extensions of subcategories of CONT (Q1686201) (← links)
- Closure spaces and completions of posets (Q2350955) (← links)
- Extending Algebraic Operations to D-Completions (Q2805153) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Upper powerdomains of quasicontinuous dcpos (Q6562458) (← links)
