Exponentiable streams and prestreams

DOI10.1007/S10485-013-9315-XzbMATH Open1293.54011OpenAlexW1993940909MaRDI QIDQ2014744FDOQ2014744

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

Recommendations

• scientific article; zbMATH DE number 19035
• scientific article
• 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

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)

Cites Work

• Directed algebraic topology. Models of non-reversible worlds
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Comparing Cartesian closed categories of (core) compactly generated spaces
• Title not available (Why is that?)
• A convenient category of locally preordered spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Comparing topological models for concurrency
• 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)