2019/11/06 by Sanjeevi Krishnan, Krishnan, Sanjeevi, Paige Randall North +1
Computer Science · Mathematics · #06F30 #55P99 #Advanced Algebra and Logic #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.1911.02204
openalex publication_date 2019/11/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper constructs an h-model structure for diagrams of streams, locally preordered spaces. Along the way, the paper extends some classical characterizations of Hurewicz fibrations and closed Hurewicz cofibrations. The usual characterization of classical closed Hurewicz cofibrations as inclusions of neighborhood deformation retracts extends. A characterization of classical Hurewicz fibrations as algebras over a pointed Moore cocylinder endofunctor also extends. An immediate consequence is a long exact sequence for directed homotopy monoids, with applications to safety verifications for database protocols.