Reparametrizations with given stop data

zbMATH Open1187.55007arXiv0902.2312MaRDI QIDQ847579FDOQ847579

Martin Raussen

Publication date: 17 February 2010

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

Abstract: In the recent paper "Reparametrizations of continuous paths", J. Homotopy Relat. Struct. 2 (2007), 93-117 (with U. Fahrenberg), we performed a systematic investigation of reparametrizations of continuous paths in a Hausdorff space that relies crucially on a proper understanding of stop data of a (weakly increasing) reparametrization of the unit interval. I am grateful to Marco Grandis (Genova) for pointing out to me that the proof of Proposition 3.7 in that paper is wrong. Fortunately, the statement of that Proposition and the results depending on it stay correct. It is the purpose of this note to provide correct proofs.

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

zbMATH Keywords

reparametrizationconcurrencytracepathd-spaceregular pathreparametrization equivalencestop map

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99)

Cited In (6)

• A cubical model for path spaces in d-simplicial complexes
• Simplicial models of trace spaces
• Trace spaces in a pre-cubical complex
• Simplicial models for trace spaces. II: General higher dimensional automata
• Title not available (Why is that?)
• Execution spaces for simple higher dimensional automata

This page was built for publication: Reparametrizations with given stop data

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