The Directed Homotopy Hypothesis
The homotopy hypothesis was originally stated by Grothendieck: topological spaces should be "equivalent" to (weak) infinite-groupoids, which give algebraic representatives of homotopy types. Much later, several authors developed geometrizations of computational models, e.g., for rewriting, distributed systems, (homotopy) type theory etc.
But an essential feature in the work set up in concurrency theory, is that time should be considered irreversible, giving rise to the field of directed algebraic topology. Following the path proposed by Porter, we state here a directed homotopy hypothesis: Grandis' directed topological spaces should be "equivalent" to a weak form of topologically enriched categories, still very close to (infinite,1)-categories. We develop, as in ordinary algebraic topology, a directed homotopy equivalence and a weak equivalence, and show invariance of a form of directed homology.
directed algebraic topology
partially enriched categories
homotopy hypothesis
geometric models for concurrency
higher category theory
9:1-9:16
Regular Paper
Jérémy
Dubut
Jérémy Dubut
Eric
Goubault
Eric Goubault
Jean
Goubault-Larrecq
Jean Goubault-Larrecq
10.4230/LIPIcs.CSL.2016.9
M. Bednarczyk, A. Borzyszkowski, and W. Pawłowski. Generalized congruences-Epimorphisms in CAT. TAC, 5(11):266-280, 1999.
J. Bergner. A model category structure on the category of simplicial categories. Trans. Amer. Math. Soc., 2004.
F. Borceux. Handbook of Categorical Algebra 1: Basic Category Theory. CUP, 1994.
F. Borceux. Handbook of Categorical Algebra 2: Categories and Structures. CUP, 1994.
P. Bubenik and K. Worytkiewicz. A model category for local pospaces. Homology, Homotopy Appl., 8(1):263-292, 2006.
J. Dubut, E. Goubault, and J. Goubault-Larrecq. Natural Homology. In ICALP, 2015.
U. Fahrenberg. Directed homology. ENTCS, 100:111-125, 2004.
U. Fahrenberg and M. Raussen. Reparametrizations of continuous paths. JHRS, 2(2):93-117, 2007.
L. Fajstrup, E. Goubault, E. Haucourt, S. Mimram, and M. Raussen. Directed Algebraic Topology and Concurrency. Springer, 2016.
P. Gaucher. A model category for the Homotopy Theory of Concurrency. Homology, Homotopy Appl., 5(1):549-593, 2003.
E. Goubault and E. Haucourt. Components of the Fundamental Category II. ACS, 15(4):387-414, 2007.
M. Grandis. Directed algebraic topology, Models of non-reversible worlds. CUP, 2009.
A. Grothendieck. Pursuing Stacks. Manuscript.
A. Hatcher. Algebraic Topology. CUP, 2002.
P. Johnstone. Sketches of an Elephant: A Topos Theory Compendium. OUP, 2002.
A. Joyal. Notes on quasi-categories. Unpublished.
A. Joyal, M. Nielsen, and G. Winske. Bisimulation from open maps. Inform. Comput., 127(2):164-185, 1996.
T. Kahl. A fibration category of local pospaces. ENTCS, 230:129-140, 2009.
M. Kelly. Basic concept of enriched category theory. CUP, 1982.
D. Park. Concurrency and Automata on Infinite Sequences. TCS, 104:167-183, 1981.
T. Porter. Enriched categories and models for spaces of evolving states. TCS, 405:88-100, 2008.
T. Porter. Steps towards a 'directed homotopy hypothesis'. (∞,1)-categories, directed spaces and perhaps rewriting. In HCR, 2015. URL: http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/hcr/porter.pdf.
http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/hcr/porter.pdf
V. R. Pratt. Modeling Concurrency with Geometry. In PoPL, 1991.
D. Quillen. Homotopical Algebra. Springer, 1965.
M. Raussen. Invariants of directed spaces. ACS, 15(4):355-386, 2007.
A. Strøm. The homotopy category is a homotopy category. Arc. der Mathematik, 23, 1972.
R. van Glabbeek. Bisimulation for higher-dimensional automata, 1991.
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode