Homological properties of non-deterministic branchings and mergings in higher dimensional automata
Philippe Gaucher
Abstract
The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.
Create a lesson
Related papers
The invariant cell number property for E4-rings
Anish Chedalavada, Florian Riedel
Global transfer systems and endopurity of subgroups
Scott Balchin, Miguel Barrero
Normed idempotence of spectra and distributivity in equivariant higher algebra
Kaif Hilman, Branko Juran, Natalie Stewart
Postnikov invariants for rational spaces
Clovis Chabertier
Equivariant K-theory as a global localization
Stefan Schwede
Unbounded Nilpotency Gaps on Rationally Elliptic Manifolds
Paul-Eugène Parent