Exponentiable streams and prestreams

DOI10.1007/s10485-013-9315-xzbMath1293.54011OpenAlexW1993940909MaRDI QIDQ2014744

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

exponentiable objectcartesian closed categorydipathtopological construct\(d\)-spacepreordered spaceprobe(co)products of objects(in)discrete object(pre)circulation(pre)streamamnestic functorcore-compact topological spacedeflationary functorHaucourt circulationone-step cosheafificationorderly compactly generated prestreamsstrongly productive class of objects

Mathematics Subject Classification ID

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

Related Items

Convergence without points, The geometry of conservative programs

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
• Non-Hausdorff Topology and Domain Theory
• Streams, d-Spaces and Their Fundamental Categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item