### Abstract

For a directed space, one may consider various categories whose objects are pairs of reachable points and whose morphisms may be induced by these inessential d-maps. Localization with respect to subcategories with these inessential d-maps as morphisms can be combined with a path space functor into the homotopy category; the quotient pair component category has as objects pair components along which the homotopy typeis invariant – for a coherent and transparent reason.

This paper follows up [7, 14, 19] and removes some of the restrictions for their applicability. If one uses homology equivalence instead of homotopy equivalence as the basic relation, it yields an alternative to computable versions of “natural homology” introduced in [4] and elaborated in [3]. It refines, for good and for evil, the stable components introduced and investigated in [22]

Original language | English |
---|---|

Publisher | ArXiv |

Number of pages | 27 |

Publication status | Published - 2018 |

### Fingerprint

### Cite this

*Pair component categories for directed spaces*. ArXiv.

}

**Pair component categories for directed spaces.** / Raussen, Martin Hubert.

Research output: Working paper › Research

TY - UNPB

T1 - Pair component categories for directed spaces

AU - Raussen, Martin Hubert

PY - 2018

Y1 - 2018

N2 - The notion of a homotopy flow on a directed space was introduced in [19] as a coherent tool for comparing spaces of directed paths between pairs of points in that space with each other. If all parameter directed maps preserve the homotopy type of path spaces, such a flow (and these parameter maps) are called inessential.For a directed space, one may consider various categories whose objects are pairs of reachable points and whose morphisms may be induced by these inessential d-maps. Localization with respect to subcategories with these inessential d-maps as morphisms can be combined with a path space functor into the homotopy category; the quotient pair component category has as objects pair components along which the homotopy typeis invariant – for a coherent and transparent reason.This paper follows up [7, 14, 19] and removes some of the restrictions for their applicability. If one uses homology equivalence instead of homotopy equivalence as the basic relation, it yields an alternative to computable versions of “natural homology” introduced in [4] and elaborated in [3]. It refines, for good and for evil, the stable components introduced and investigated in [22]

AB - The notion of a homotopy flow on a directed space was introduced in [19] as a coherent tool for comparing spaces of directed paths between pairs of points in that space with each other. If all parameter directed maps preserve the homotopy type of path spaces, such a flow (and these parameter maps) are called inessential.For a directed space, one may consider various categories whose objects are pairs of reachable points and whose morphisms may be induced by these inessential d-maps. Localization with respect to subcategories with these inessential d-maps as morphisms can be combined with a path space functor into the homotopy category; the quotient pair component category has as objects pair components along which the homotopy typeis invariant – for a coherent and transparent reason.This paper follows up [7, 14, 19] and removes some of the restrictions for their applicability. If one uses homology equivalence instead of homotopy equivalence as the basic relation, it yields an alternative to computable versions of “natural homology” introduced in [4] and elaborated in [3]. It refines, for good and for evil, the stable components introduced and investigated in [22]

M3 - Working paper

BT - Pair component categories for directed spaces

PB - ArXiv

ER -