同伦映射沿单调同伦的判定
Criteria for homotopic maps to be so along monotone homotopies
摘要：
机器的状态空间承认时间的结构。关于这个附加结构的同伦理论可以检测出经典同伦理论所看不到的机器行为。在试图引导经典的工具到世界上的抽象时空，我们确定标准的经典同伦，单调映射的posspaces未来同伦，或同伦沿同伦单调在两个坐标，一个共同的地图。结果表明，如果超连续格的基础空间具有连通CW型，则超连续格的Lawson拓扑是未来可收缩的，或沿未来同伦可收缩的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
