Pair component categories for directed spaces

Research output: Working paperResearch

Abstract

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]
Original languageEnglish
PublisherArXiv
Number of pages27
Publication statusPublished - 2018

Fingerprint

Homotopy
Path Space
Morphisms
Homology
Homotopy Equivalence
Homotopy Type
Functor
Quotient
Equivalence
Restriction
Path
Invariant
Alternatives
Object

Cite this

@techreport{2fb0935de2654bbab1ec1b3b2319e7d5,
title = "Pair component categories for directed spaces",
abstract = "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]",
author = "Raussen, {Martin Hubert}",
year = "2018",
language = "English",
publisher = "ArXiv",
type = "WorkingPaper",
institution = "ArXiv",

}

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

ArXiv, 2018.

Research output: Working paperResearch

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 -