Stable components of directed spaces

DOI10.1007/S10485-018-9551-1MaRDI QIDQ2423830zbMATH OpenOpenAlexFDO

Authors Krzysztof Ziemiański

Publication date 20 June 2019

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

directed spaceenriched categorystable component system

Mathematics Subject Classification ID

Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20) Topological categories, foundations of homotopy theory (55U40)

Abstract: In this paper, we introduce the notions of stable future, past and total component systems on a directed space with no loops. Then, we associate the stable component category to a stable (future, past or total) component system. Stable component categories are enriched in some monoidal category, eg. the homotopy category of spaces, and carry information about the spaces of directed paths between particular points. It is shown that the geometric realizations of finite pre-cubical sets with no loops admit the unique minimal stable (future/past/total) component systems. These constructions provide a new family of invariants for directed spaces.

Review text

Directed spaces [\textit{M. Grandis}, Cah. Topol. Géom. Différ. Catég. 44, No. 4, 281--316 (2003; Zbl 1059.55009)] can be used for modelling the behavior of concurrent programs. The paper proposes a new definition of the component category of a directed space (replacing fundamental categories from un-directed homotopy). In this way, he obtains new invariants for directed spaces.

Recommendations

• Pair component categories for directed spaces
• scientific article; zbMATH DE number 2218901
• Invariants of directed spaces
• Components of the fundamental category
• scientific article; zbMATH DE number 2051884

Cites work

• Algebraic topology and concurrency
• Components of the fundamental category
• Components of the fundamental category. II
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Directed homology theories and Eilenberg-Steenrod axioms
• Directed suspensions and their loop spaces
• Future path-components in directed topology
• Homology of spaces of directed paths on Euclidean cubical complexes
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• scientific article; zbMATH DE number 3213310 (Why is no real title available?)
• Invariants of directed spaces
• Reparametrizations of continuous paths
• Trace spaces in a pre-cubical complex

Cited in

(9)

• Spaces of directed paths on pre-cubical sets II
• Pair component categories for directed spaces
• Components of the fundamental category. II
• A model category for local po-spaces
• Covering space theory for directed topology
• Directed GF-spaces
• Inessential directed maps and directed homotopy equivalences
• Stable components and layers
• Logic and languages of higher-dimensional automata

This page was built for publication: Stable components of directed spaces

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