Pages that link to "Item:Q714727"
From MaRDI portal
The following pages link to Generalising canonical extension to the categorical setting (Q714727):
Displayed 13 items.
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Canonical extensions of locally compact frames (Q2310786) (← links)
- Type space functors and interpretations in positive logic (Q2700810) (← links)
- (Q3121529) (← links)
- (Q4553286) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- (Q5376651) (← links)
- Topological duality and algebraic completions (Q6120604) (← links)
- On duality and model theory for polyadic spaces (Q6139255) (← links)