2026-08-17T19:48:59Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6549 2024-03-06T10:38:41Z ddc:004 open_access

The Directed Homotopy Hypothesis Dubut, Jérémy Goubault, Eric Goubault-Larrecq, Jean directed algebraic topology partially enriched categories homotopy hypothesis geometric models for concurrency higher category theory 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jérémy Dubut and Eric Goubault and Jean Goubault-Larrecq 2016 Is Part Of LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2016.9 urn:nbn:de:0030-drops-65492 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.9 eng https://creativecommons.org/licenses/by/3.0/legalcode