Saturating directed spaces

DOI10.1007/S40062-013-0025-8MaRDI QIDQ2255541zbMATH OpenOpenAlexFDO

Authors Michel Hirschowitz, Tom Hirschowitz, André Hirschowitz

Publication date 17 February 2015

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.1074

zbMATH Keywords

directed topologysheaves

Mathematics Subject Classification ID

Topological spaces with richer structures (54E99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Presheaves and sheaves in general topology (54B40) Homotopy theory (55P99)

Abstract: Directed topology is a refinement of standard topology, where spaces may have non-reversible paths. It has been put forward as a candidate approach to the analysis of concurrent processes. Recently, a wealth of different frameworks for, i.e., categories of, directed spaces have been proposed. In the present work, starting from Grandis's notion of directed space, we propose an additional condition of saturation for distinguished sets of paths and show how it allows to rule out exotic examples without any serious collateral damage. Our saturation condition is local in a natural sense, and is satisfied by the directed interval (and the directed circle). Furthermore we show in which sense it is the strongest condition fulfilling these two basic requirements. Our saturation condition selects a full, reflective subcategory of Grandis's category of d-spaces, which is closed under arbitrary limits of d-spaces, has arbitrary colimits (obtained by saturating the corresponding colimits of d-spaces), and has nice cylinder and cocylinder constructions. Finally, the forgetful functor to plain topological spaces has both a right and a left adjoint.

Recommendations

• Categories of directed spaces
• Pair component categories for directed spaces
• Invariants of directed spaces
• Directed spaces defined through \(\text{ T}_0\) spaces with specialization order
• scientific article; zbMATH DE number 2218901

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• A convenient category of locally preordered spaces
• A model category for the homotopy theory of concurrency
• Algebraic topology and concurrency
• Categories of directed spaces
• Directed algebraic topology. Models of non-reversible worlds
• Sheaves of ordered spaces and interval theories
• Streams, \(d\)-spaces and their fundamental categories

Cited in

(6)

• Classification of dicoverings
• Models and van Kampen theorems for directed homotopy theory
• Directed GF-spaces
• Directed spaces defined through \(\text{ T}_0\) spaces with specialization order
• Pair component categories for directed spaces
• On the hierarchy of d-structures

This page was built for publication: Saturating directed spaces

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