The following pages link to Categories of embeddings (Q1263665):
Displaying 12 items.
- Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
- Cartesian closed categories of algebraic cpos (Q584381) (← links)
- On stable domains (Q685428) (← links)
- Generalised information systems capture L-domains (Q831140) (← links)
- A logical approach to stable domains (Q859843) (← links)
- The logic of structures (Q1196790) (← links)
- Algebraic domains of natural transformations (Q1349657) (← links)
- Stone duality and representation of stable domain (Q1368465) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- Universal abstract elementary classes and locally multipresentable categories (Q4644724) (← links)
- A functorial semantics for observed concurrency (Q5096853) (← links)
- Disjunctive systems and L-Domains (Q5204324) (← links)
