T-homotopy and refinement of observation. II: Adding new T-homotopy equivalences
From MaRDI portal
(Redirected from Publication:925393)
\(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences
\(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences
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.
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
Cites work
- scientific article; zbMATH DE number 5002267 (Why is no real title available?)
- scientific article; zbMATH DE number 193912 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 1324388 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 937397 (Why is no real title available?)
- scientific article; zbMATH DE number 3358760 (Why is no real title available?)
- A model category for the homotopy theory of concurrency
- Comparing globular complex and flow
- Homological properties of non-deterministic branchings of mergings in higher dimensional automata
- Homotopical algebra
- Many homotopy categories are homotopy categories
- Note on Cofibrations II.
- Note on Cofibrations.
- T-homotopy and refinement of observation. I: Introduction
- 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
- The homotopy category is a homotopy category
- Topological deformation of higher dimensional automata
- Topological hypercovers and \(\mathbb{A}^1\)-realizations
Cited in
(5)- scientific article; zbMATH DE number 1924509 (Why is no real title available?)
- 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
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)
