Criteria for homotopic maps to be so along monotone homotopies

DOI10.1016/J.ENTCS.2009.02.022MaRDI QIDQ2810962zbMATH OpenOpenAlexFDO

Authors Sanjeevi Krishnan

Publication date 6 June 2016

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

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

zbMATH Keywords

continuous latticedihomotopy theorypospace

Mathematics Subject Classification ID

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

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.

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

Cites work

• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• Algebraic topology and concurrency
• Dipaths and dihomotopies in a cubical complex

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)