首页    期刊浏览 2024年11月27日 星期三
登录注册

文章基本信息

  • 标题:The Directed Homotopy Hypothesis
  • 本地全文:下载
  • 作者:J{\'e}r{\'e}my Dubut ; Eric Goubault ; Jean Goubault-Larrecq
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2016
  • 卷号:62
  • 页码:9:1-9:16
  • DOI:10.4230/LIPIcs.CSL.2016.9
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要: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
国家哲学社会科学文献中心版权所有