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 construct\(d\)-spacecartesian closed categorypreordered spaceprobe(co)products of objects(in)discrete object(pre)circulation(pre)streamamnestic functorcore-compact topological spacedeflationary functorexponentiable objectHaucourt circulationone-step cosheafificationorderly compactly generated prestreamsstrongly productive class of objects

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

• 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?)
• 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
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Streams, \(d\)-spaces and their fundamental categories

Cited in

(4)

• The geometry of conservative programs
• Convergence without points
• Open maps, colimits, and a convenient category of fibre spaces
• 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)