Pages that link to "Item:Q1434361"
From MaRDI portal
The following pages link to Presenting locale pullback via directed complete posets (Q1434361):
Displaying 8 items.
- A representation theorem for geometric morphisms (Q613566) (← links)
- The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
- An axiomatic account of weak triquotient assignments in locale theory (Q847673) (← links)
- Proper maps of locales (Q1318788) (← links)
- Representing geometric morphisms using power locale monads (Q1937980) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- Presenting locale pullback via directed complete posets: extended abstract (Q2851546) (← links)
- Preframe presentations present (Q3978977) (← links)