This entry is about the book
is the first monograph on the subject of directed spaces and directed homotopy theory.
See CUP ad; pdf excerpt of the first 9 (well, 10) pages of intro; and pdf of the index.
Contents
Introduction;
Part I. First Order Directed Homotopy and Homology: 1. Directed structures and first order homotopy properties; 2. Directed homology and noncommutative geometry; 3. Modelling the fundamental category;
Part II. Higher Directed Homotopy Theory: 4. Settings for higher order homotopy; 5. Categories of functors and algebras, relative settings; 6. Elements of weighted algebraic topology;
Appendix A. Some points of category theory;
References; Index of symbols; General index.
Prof. Grandis has posted few lines from introduction to the book ‘Directed Algebraic Topology’ Models of non-reversible worlds to the categories list.
Directed Algebraic Topology is a recent subject which arose in the 1990’s, on the one hand in abstract settings for homotopy theory, and on the other hand in investigations in the theory of concurrent processes. Its general aim should be stated as modelling non-reversible phenomena. The subject has a deep relationship with category theory.
The domain of Directed Algebraic Topology should be distinguished from the domain of classical Algebraic Topology by the principle that directed spaces have privileged directions and directed paths therein need not be reversible. While the classical domain of Topology and Algebraic Topology is a reversible world, where a path in a space can always be travelled backwards, the study of non-reversible phenomena requires broader worlds, where a directed space can have non-reversible paths.
The homotopical tools of Directed Algebraic Topology, corresponding in the classical case to ordinary homotopies, the fundamental group and fundamental $n$-groupoids, should be similarly non-reversible: directed homotopies, the fundamental monoid and fundamental $n$-categories. Similarly, its homological theories will take values in directed algebraic structures, like preordered abelian groups or abelian monoids. Homotopy constructions like mapping cone, cone and suspension, occur here in a directed version; this gives rise to new shapes, like (lower and upper) directed cones and directed spheres, whose elegance is strengthened by the fact that such constructions are determined by universal properties.
Applications will deal with domains where privileged directions appear, such as concurrent processes, rewrite systems, traffic networks, space-time models, biological systems, etc. At the time of writing, the most developed ones are concerned with concurrency.
Eric: Does anyone here know Professor Grandis well enough to invite him here? I’m a fan and would love to see him participate in the n-Community.
Tim: I am an old friend of Marco, but do not think that any direct involvement is likely.
I will be writing a review of the book for the Canadian math. Soc. so may be able to contribute something to this later on.