The fundamental weighted category of a weighted space: From directed to weighted algebraic topology (Q865282)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The fundamental weighted category of a weighted space: From directed to weighted algebraic topology |
scientific article |
Statements
The fundamental weighted category of a weighted space: From directed to weighted algebraic topology (English)
0 references
14 February 2007
0 references
Directed algebraic topology studies spaces equipped with directed continuous paths modelling execution paths of concurrent systems. The direction models time direction. In such setting, the cost for going from a given state to another one has two possible values: \(0\) in the direction of time, and \(\infty\) in the opposite direction. The present author wants to propose an enrichment of this subject, called weighted algebraic topology. In this setting, the cost for going from a given state to another one has a value belonging to the interval \([0,\infty]\). Lawvere's generalized metric spaces endowed with a possibly non-symmetric distance taking values in \([0,\infty]\) are a basic setting where weighted algebraic topology can be developed. In this setting, Grandis generalizes some of his results about \(d\)-spaces. In particular, he obtains a Van Kampen theorem for fundamental weighted categories and also introduces the more general setting of spaces with weighted paths, which has finer quotients and strong links with noncommutative geometry.
0 references
homotopy theory
0 references
generalized metric space
0 references
directed algebraic topology
0 references
fundamental category
0 references
normed category
0 references
irrational rotation \(C^*\)-algebra
0 references