Categories of embeddings

DOI10.1016/0304-3975(89)90161-8zbMath0688.18004OpenAlexW1967930826MaRDI QIDQ1263665

Thierry Coquand

Publication date: 1989

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(89)90161-8

zbMATH Keywords

denotational semanticscartesian closed categorygeneralized domain

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

Representations of algebraic domains and algebraic L-domains by information systems ⋮ Generalised information systems capture L-domains ⋮ Algebraic domains of natural transformations ⋮ A logical approach to stable domains ⋮ Stone duality and representation of stable domain ⋮ A functorial semantics for observed concurrency ⋮ An exper model for Quest ⋮ Universal abstract elementary classes and locally multipresentable categories ⋮ The logic of structures ⋮ On stable domains ⋮ Cartesian closed categories of algebraic cpos ⋮ Disjunctive systems and L-Domains ⋮ Infinite hypergraphs. I: Basic properties

Cites Work

• The largest Cartesian closed category of domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Coherence and consistency in domains
• Categorical semantics for higher order polymorphic lambda calculus
• The Category-Theoretic Solution of Recursive Domain Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item