A Hurewicz model structure for directed topology
Theory and applications of categories, Tome 37 (2021), pp. 613-634
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
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.
Publié le :
Classification :
18N40, 55P05
Keywords: model structure, directed topology, Moore paths
Keywords: model structure, directed topology, Moore paths
@article{TAC_2021_37_a19,
author = {Sanjeevi Krishnan and Paige Randall North},
title = {A {Hurewicz} model structure for directed topology},
journal = {Theory and applications of categories},
pages = {613--634},
year = {2021},
volume = {37},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2021_37_a19/}
}
Sanjeevi Krishnan; Paige Randall North. A Hurewicz model structure for directed topology. Theory and applications of categories, Tome 37 (2021), pp. 613-634. http://geodesic.mathdoc.fr/item/TAC_2021_37_a19/