Comparing Cartesian closed categories of (core) compactly generated spaces

DOI10.1016/j.topol.2004.02.011zbMath1066.54028OpenAlexW2069246348MaRDI QIDQ1880712

Martín Hötzel Escardó, Jimmie D. Lawson, Alex K. Simpson

Publication date: 1 October 2004

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2004.02.011

zbMATH Keywords

\(k\)-spaceCartesian closed categoryIsbell topologyDomain theoryFunction spaceCompactly generated spaceCore-compact spaceCountably based spaceQuotient space

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Sequential spaces (54D55) Categorical methods in general topology (54B30) Continuous lattices and posets, applications (06B35) (k)-spaces (54D50)

Related Items (41)

A generalization of core compact spaces ⋮ Some open problems on well-filtered spaces and sober spaces ⋮ Sober is not always co-sober ⋮ A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Brown-Booth-Tillotson theory for classes of exponentiable spaces ⋮ Logical systems. I: Internal calculi. ⋮ Unnamed Item ⋮ When the finest splitting topology is a group topology or Fréchet ⋮ On the compact open and finest splitting topologies ⋮ First countability, \( \omega \)-well-filtered spaces and reflections ⋮ Exponential homeomorphisms in the category of topological spaces with base point ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Compactly generated spaces and quasi-spaces in topology ⋮ Topologies of uniform convergence. The property in the sense of Arens-Dugundji and the sequential property ⋮ An abstract cell model that describes the self-organization of cell function in living systems ⋮ Sober Scott spaces are not always co-sober ⋮ On \(T_0\) spaces determined by well-filtered spaces ⋮ Domain theoretical differential calculi ⋮ Range universal spaces ⋮ Domain representations of spaces of compact subsets ⋮ Selection functions, bar recursion and backward induction ⋮ Locally bounded enriched categories ⋮ On the greatest splitting topology ⋮ Sobriety for equilogical spaces ⋮ On the Relationship between Filter Spaces and Weak Limit Spaces ⋮ Comparing free algebras in topological and classical domain theory ⋮ Some hierarchies of QCB₀-spaces ⋮ When is the Isbell topology a group topology? ⋮ On the ubiquity of certain total type structures ⋮ Exponentiable streams and prestreams ⋮ Base-complexity classifications of qcb0-spaces1 ⋮ On topological Rudin's lemma, well-filtered spaces and sober spaces ⋮ First-countability, \( \omega \)-Rudin spaces and well-filtered determined spaces ⋮ Computable analysis with applications to dynamic systems ⋮ D-completions and the \(d\)-topology ⋮ The sequential topology on is not regular ⋮ On the compact-open and admissible topologies ⋮ A Convenient Category of Domains ⋮ Exponential Kleisli monoids as Eilenberg-Moore algebras ⋮ Admissibly Represented Spaces and Qcb-Spaces ⋮ Unnamed Item

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
• Infinite symmetric products, function spaces, and duality
• Recursion on the countable functionals
• Chain-complete posets and directed sets with applications
• Extended admissibility.
• Equilogical spaces
• A convenient category of topological spaces
• A reflection theorem for closed categories
• Convenient categories of topological spaces for homotopy theory
• Filter spaces and continuous functionals
• POWERS AND EXPONENTIAL OBJECTS IN INITIALLY STRUCTURED CATEGORIES AND APPLICATIONS TO CATEGORIES OF LIMIT SPACES
• General function spaces, products and continuous lattices
• Function spaces and adjoints.
• Topological and limit-space subcategories of countably-based equilogical spaces
• A Distinguishing Example in k-Spaces
• Continuous Lattices and Domains
• A Relationship between Equilogical Spaces and Type Two Effectivity
• When do the Upper Kuratowski Topology (Homeomorphically, Scott Topology) and the Co-compact Topology Coincide?
• FUNCTION SPACES AND PRODUCT TOPOLOGIES
• Compact Sets of Functions and Function Rings

This page was built for publication: Comparing Cartesian closed categories of (core) compactly generated spaces