Combinatorics of past-similarity in higher dimensional transition systems
arXiv:1607.07678
Abstract
The key notion to understand the left determined Olschok model category of star-shaped Cattani-Sassone transition systems is past-similarity. Two states are past-similar if they have homotopic pasts. An object is fibrant if and only if the set of transitions is closed under past-similarity. A map is a weak equivalence if and only if it induces an isomorphism after the identification of all past-similar states. The last part of this paper is a discussion about the link between causality and homotopy.
LaTeX, 51 pages
References in corpus (6)
- Overcategories and undercategories of model categories
- Combinatorics of labelling in higher dimensional automata
- Homotopical interpretation of globular complex by multipointed d-space
- Homotopy Theory of Labelled Symmetric Precubical Sets
- The geometry of cubical and regular transition systems
- Left determined model categories