T-homotopy and refinement of observation (IV): Invariance of the underlying homotopy type

This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this fourth part, it is proved that the generalized T-homotopy equivalences preserve the underlying homotopy type of a flow. The proof is based on Reedy model category techniques.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.