A Convenient Category of Domains

DOI10.1016/j.entcs.2007.02.004zbMath1277.68113OpenAlexW2077809881MaRDI QIDQ2864147

Ingo Battenfeld, Matthias Schröder, Alex K. Simpson

Publication date: 6 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.004

zbMATH Keywords

denotational semanticsdomain theorytopological domain theoryTTEconvenient topology

Mathematics Subject Classification ID

Related Items (14)

The intrinsic topology of Martin-Löf universes ⋮ Observationally-induced Effects in Cartesian Closed Categories ⋮ Unnamed Item ⋮ Healthiness conditions for predicate transformers ⋮ Selection functions, bar recursion and backward induction ⋮ An Effective Tietze-Urysohn Theorem for QCB-Spaces ⋮ On the Relationship between Filter Spaces and Weak Limit Spaces ⋮ Topological properties of concept spaces (full version) ⋮ Comparing free algebras in topological and classical domain theory ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ Unnamed Item ⋮ Computable analysis with applications to dynamic systems ⋮ Computable de Finetti measures ⋮ Admissibly Represented Spaces and Qcb-Spaces

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• A note on inconsistencies caused by fixpoints in a cartesian closed category
• Notions of computation and monads
• A small complete category
• Axioms and (counter)examples in synthetic domain theory
• Extended admissibility.
• Equilogical spaces
• Comparing Cartesian closed categories of (core) compactly generated spaces
• A convenient category of topological spaces
• Filter spaces and continuous functionals
• Two preservation results for countable products of sequential spaces
• The Discrete Objects in the Effective Topos
• The Category-Theoretic Solution of Recursive Domain Equations
• A Powerdomain Construction
• General synthetic domain theory – a logical approach
• A uniform approach to domain theory in realizability models
• Axiomatic Domain Theory in Categories of Partial Maps
• Topological and limit-space subcategories of countably-based equilogical spaces
• Continuous Lattices and Domains
• FUNCTION SPACES AND PRODUCT TOPOLOGIES
• Spaces in which sequences suffice
• Compactly generated domain theory
• Quotients of countably based spaces are not closed under sobrification

This page was built for publication: A Convenient Category of Domains