Exponentiable streams and prestreams

DOI10.1007/S10485-013-9315-XMaRDI QIDQ2014744zbMATH OpenOpenAlexFDO

Authors Jean Goubault-Larrecq

Publication date 16 June 2014

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-013-9315-x

zbMATH Keywords

dipathtopological constructstrongly productive class of objectsprobepreordered spaceorderly compactly generated prestreamsone-step cosheafificationHaucourt circulationexponentiable object(co)products of objectsdeflationary functorcore-compact topological spacecartesian closed categoryamnestic functor\(d\)-space(pre)stream(pre)circulation(in)discrete object

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical methods in general topology (54B30) Function spaces in general topology (54C35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05)

Recommendations

• scientific article; zbMATH DE number 19035
• scientific article; zbMATH DE number 177178
• Exponential objects and Cartesian closedness in the construct \textit{Prtop}
• Cartesian closed exact completions in topology
• More on exponential objects in categories of pretopological spaces

Cites work

• A convenient category of locally preordered spaces
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Comparing topological models for concurrency
• Continuous Lattices and Domains
• Directed algebraic topology. Models of non-reversible worlds
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3592215 (Why is no real title available?)
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 2103282 (Why is no real title available?)
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Streams, \(d\)-spaces and their fundamental categories

Cited in

(5)

• Open maps, colimits, and a convenient category of fibre spaces
• scientific article; zbMATH DE number 19035 (Why is no real title available?)
• The geometry of conservative programs
• Convergence without points
• Non-existing and ill-behaved coequalizers of locally ordered spaces

This page was built for publication: Exponentiable streams and prestreams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014744)