Equilogical spaces

DOI10.1016/j.tcs.2003.11.012zbMath1059.18004OpenAlexW2913777840WikidataQ106362624 ScholiaQ106362624MaRDI QIDQ1826625

Dana S. Scott, Lars Birkedal, Andrej Bauer

Publication date: 6 August 2004

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2003.11.012

zbMATH Keywords

topologyrealizabilitylogictype theorydomain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (28)

Comparing Cartesian closed categories of (core) compactly generated spaces ⋮ A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On a generalization of equilogical spaces ⋮ Adjunctions on the lattices of partitions and of partial partitions ⋮ Equilogical spaces and algebras for a double-power monad ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ Absolute lax 2-categories ⋮ Idempotent block splitting on partial partitions. I: Isotone operators ⋮ A model of guarded recursion via generalised equilogical spaces ⋮ A non-topological view of dcpos as convergence spaces. ⋮ Reducibility of domain representations and Cantor–Weihrauch domain representations ⋮ Sheaf toposes for realizability ⋮ Directed algebraic topology, categories and higher categories ⋮ The category of equilogical spaces and the effective topos as homotopical quotients ⋮ Unnamed Item ⋮ A Relationship between Equilogical Spaces and Type Two Effectivity ⋮ Sobriety for equilogical spaces ⋮ On the Relationship between Filter Spaces and Weak Limit Spaces ⋮ On generalized equilogical spaces ⋮ How nice are free completions of categories? ⋮ Cartesian closed exact completions in topology ⋮ Domain representations of topological spaces ⋮ A Convenient Category of Domains ⋮ Quantitative coding and complexity theory of compact metric spaces ⋮ Admissibly Represented Spaces and Qcb-Spaces ⋮ Foundation of a computable solid modelling.

Cites Work

• Comprehension categories and the semantics of type dependency
• Total sets and objects in domain theory
• Categorical logic and type theory
• Developing theories of types and computability via realizability
• Exact categories and categories of sheaves
• Colimit completions and the effective topos
• The Discrete Objects in the Effective Topos
• Tripos theory
• A category-theoretic account of program modules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equilogical spaces