Criteria for homotopic maps to be so along monotone homotopies
Abstract
Description
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.
7 pages, 5 figures, partially presented at GETCO 2006. title change; strengthened Cor. 3.3. -> Prop. 3.7, Prop. 3.2 -> Lem. 3.2; corrected def of category of continuous lattices in sec. 2; added 5 figures, 8 eg's, Def. 3.4, Lemmas 2.8, 3.5, refs [1],[4],[5]; rewording throughout; conclusion and abstract rewritten
7 pages, 5 figures, partially presented at GETCO 2006. title change; strengthened Cor. 3.3. -> Prop. 3.7, Prop. 3.2 -> Lem. 3.2; corrected def of category of continuous lattices in sec. 2; added 5 figures, 8 eg's, Def. 3.4, Lemmas 2.8, 3.5, refs [1],[4],[5]; rewording throughout; conclusion and abstract rewritten