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.

[1]  Julia E. Bergner.  A model category structure on the category of simplicial categories , 2004 .

[2]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.

[3]  Timothy Porter,et al.  Enriched categories and models for spaces of evolving states , 2008, Theor. Comput. Sci..

[4]  U. Fahrenberg.  Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation , 2015 .

[5]  Jean Goubault-Larrecq,et al.  Natural Homology , 2015, ICALP.

[6]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[7]  Michael Barr,et al.  GENERALIZED CONGRUENCES — EPIMORPHISMS IN Cat , 1999 .

[8]  Glynn Winskel,et al.  Bisimulation from Open Maps , 1994, Inf. Comput..

[9]  P. Gaucher.  A MODEL CATEGORY FOR THE HOMOTOPY THEORY OF CONCURRENCY , 2003, math/0308054.

[10]  F. Borceux.  Handbook Of Categorical Algebra 1 Basic Category Theory , 2008 .

[11]  Thomas Kahl.  A Fibration Category of Local Pospaces , 2009, Electron. Notes Theor. Comput. Sci..

[12]  U. Fahrenberg,et al.  Reparametrizations of continuous paths , 2007, 0706.3560.

[13]  Peter Bubenik,et al.  A MODEL CATEGORY FOR LOCAL PO-SPACES , 2005, math/0506352.

[14]  Vaughan R. Pratt,et al.  Modeling concurrency with geometry , 1991, POPL '91.

[15]  Arne Strøm,et al.  The homotopy category is a homotopy category , 1972 .

[16]  Eric Goubault,et al.  Directed Algebraic Topology and Concurrency , 2016, Cambridge International Law Journal.

[17]  M. Grandis.  Directed Algebraic Topology: Models of Non-Reversible Worlds , 2009 .

[18]  P. Johnstone.  Sketches of an Elephant: A Topos Theory Compendium Volume 1 , 2002 .

[19]  Eric Goubault,et al.  Components of the Fundamental Category II , 2007, Appl. Categorical Struct..