T-homotopy and refinement of observation. II: Adding new T-homotopy equivalences

DOI10.1155/2007/87404zbMATH Open1149.55009arXivmath/0505328OpenAlexW2087864003MaRDI QIDQ925393FDOQ925393

Authors: Philippe Gaucher 

Publication date: 3 June 2008

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Abstract: This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of observation. And it is proved that up to weak S-homotopy, a old T-homotopy equivalence is a new T-homotopy equivalence. The left-properness of the weak S-homotopy model category of flows is also established in this second part. The latter fact is used several times in the next papers of this series.

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

Recommendations

• T-homotopy and refinement of observation. I: Introduction
• T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
• T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
• scientific article; zbMATH DE number 16368
• TQFT’S FROM HOMOTOPY 2-TYPES
• On equivariant homotopy equivalences
• On some adjunctions in equivariant stable homotopy theory
• The homology of \(\mathrm{tmf}\)
• Homotopical intersection theory. II: Equivariance
• ADJUNCTION OF modPEQUIVALENCES IN HOMOTOPY THEORY

zbMATH Keywords

flow\(S\)-homotopy\(T\)-homotopyglobular complex

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological hypercovers and \(\mathbb{A}^1\)-realizations
• Homotopical algebra
• The homotopy category is a homotopy category
• Title not available (Why is that?)
• Topological deformation of higher dimensional automata
• A model category for the homotopy theory of concurrency
• T-homotopy and refinement of observation. I: Introduction
• Note on Cofibrations.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homological properties of non-deterministic branchings of mergings in higher dimensional automata
• Many homotopy categories are homotopy categories
• Title not available (Why is that?)
• Note on Cofibrations II.
• T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
• T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
• Comparing globular complex and flow
• Title not available (Why is that?)

Cited In (5)

• Left properness of flows
• T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
• T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
• T-homotopy and refinement of observation. I: Introduction
• Title not available (Why is that?)

This page was built for publication: \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences

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