A Relationship between Equilogical Spaces and Type Two Effectivity

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200210)48:1+<1::AID-MALQ11111>3.0.CO;2-7" /><1::AID-MALQ11111>3.0.CO;2-7 10.1002/1521-3870(200210)48:1+<1::AID-MALQ11111>3.0.CO;2-7zbMath1026.68088OpenAlexW2112131178WikidataQ115902561 ScholiaQ115902561MaRDI QIDQ4787852

Andrej Bauer

Publication date: 30 November 2003

Full work available at URL: https://doi.org/10.1002/1521-3870(200210)48:1+<1::aid-malq11111>3.0.co;2-7

zbMATH Keywords

domain theoryadjoint functorsequilogical spacesBaire space representationscountably based \(T_0\)-spaces

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Higher-type and set recursion theory (03D65)

Related Items (5)

Comparing Cartesian closed categories of (core) compactly generated spaces ⋮ Coherence Spaces and Uniform Continuity ⋮ Selection functions, bar recursion and backward induction ⋮ Computability of Continuous Solutions of Higher-Type Equations ⋮ On the topological aspects of the theory of represented spaces

This page was built for publication: A Relationship between Equilogical Spaces and Type Two Effectivity