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

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

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.

Review text

There are several variants of Grandis' notion of \(d\)-space. Let us remind that a \(d\)-space is a topological space equipped with a family of distinguished continuous maps (the \(d\)-paths) playing the role of execution paths. The purpose of this kind of object is the analysis of concurrent processes using tools coming from topology and algebraic topology. In this paper, the authors propose an additional condition of saturation for the distinguished set of continuous maps. It allows to rule out exotic examples by keeping the important examples. The directed segment and the directed circle satisfy this new saturation condition. This new notion of \(d\)-spaces assembles to a bicomplete reflective subcategory of Grandis' category. Moreover, the forgetful functor to general 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

• A convenient category of locally preordered spaces
• A model category for the homotopy theory of concurrency
• Algebraic topology and concurrency
• Categories for the working mathematician.
• 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)

• Models and van Kampen theorems for directed homotopy theory
• Classification of dicoverings
• Pair component categories for directed spaces
• Directed spaces defined through \(\text{ T}_0\) spaces with specialization order
• Directed GF-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)