Topical categories of domains
From MaRDI portal
Publication:4719352
DOI10.1017/S0960129599002741zbMath0946.18001MaRDI QIDQ4719352
Publication date: 10 October 2000
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Grothendieck toposescartesian closed categorygeometric logicgeometric morphismsautomatically continuous2-categorical aspects of topos theorystrongly algebraic domainstopical categorytoposes as topology-free spaces
Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (14)
Continuity and geometric logic ⋮ Sublocales in formal topology ⋮ Partial Horn logic and Cartesian categories ⋮ An induction principle for consequence in arithmetic universes ⋮ Cosheaves and connectedness in formal topology ⋮ Localic sup-lattices and tropological systems. ⋮ Entailment systems for stably locally compact locales ⋮ A universal characterization of the double powerlocale ⋮ Fuzzy sets and geometric logic ⋮ Fibrations of AU-contexts beget fibrations of toposes ⋮ Unnamed Item ⋮ The connected Vietoris powerlocale ⋮ Compactness in locales and in formal topology ⋮ The Bicategory-Theoretic Solution of Recursive Domain Equations
This page was built for publication: Topical categories of domains
