Criteria for homotopic maps to be so along monotone homotopies

DOI10.1016/J.ENTCS.2009.02.022zbMATH Open1339.55018arXiv0709.3715OpenAlexW2125346401MaRDI QIDQ2810962FDOQ2810962

Authors: Sanjeevi Krishnan 

Publication date: 6 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Abstract: The state spaces of machines admit the structure of time. A homotopy theory respecting this additional structure can detect machine behavior unseen by classical homotopy theory. In an attempt to bootstrap classical tools into the world of abstract spacetime, we identify criteria for classically homotopic, monotone maps of pospaces to future homotope, or homotope along homotopies monotone in both coordinates, to a common map. We show that consequently, a hypercontinuous lattice equipped with its Lawson topology is future contractible, or contractible along a future homotopy, if its underlying space has connected CW type.

Full work available at URL: https://arxiv.org/abs/0709.3715

Recommendations

• Homotopy theories for pospaces and topological categories
• Relative directed homotopy theory of partially ordered spaces
• Covering space theory for directed topology
• scientific article; zbMATH DE number 1803729
• Invariants of directed spaces

zbMATH Keywords

continuous latticedihomotopy theorypospace

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Homotopy theory (55P99)

Cites Work

• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Directed homotopy in non-positively curved spaces

This page was built for publication: Criteria for homotopic maps to be so along monotone homotopies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2810962)