Directed Algebraic Topology: Models of Non-Reversible Worlds by Marco Grandis

By Marco Grandis

This can be the 1st authored publication to be devoted to the recent box of directed algebraic topology that arose within the Nineteen Nineties, in homotopy conception and within the conception of concurrent procedures. Its basic target might be acknowledged as 'modelling non-reversible phenomena' and its area could be individual from that of classical algebraic topology by way of the main that directed areas have privileged instructions and directed paths therein needn't be reversible. Its homotopical instruments (corresponding within the classical case to dull homotopies, primary team and basic groupoid) might be equally 'non-reversible': directed homotopies, primary monoid and basic classification. Homotopy buildings take place the following in a directed model, which supplies upward thrust to new 'shapes', like directed cones and directed spheres. functions will care for domain names the place privileged instructions seem, together with rewrite platforms, site visitors networks and organic platforms. the main constructed examples are available within the region of concurrency.

Show description

Read or Download Directed Algebraic Topology: Models of Non-Reversible Worlds (New Mathematical Monographs) PDF

Similar topology books

Papers on Topology: Analysis Situs and Its Five Supplements (History of Mathematics)

Contains complete bookmarked desk of contents and numbered pages. this is often an development of a duplicate to be had during the Library Genesis undertaking. the actual Stillwell translation is dated July 31, 2009.

John Stillwell was once the recipient of the Chauvenet Prize for Mathematical Exposition in 2005. The papers during this ebook chronicle Henri Poincaré's trip in algebraic topology among 1892 and 1904, from his discovery of the elemental team to his formula of the Poincaré conjecture. For the 1st time in English translation, you can stick with each step (and occasional stumble) alongside the way in which, with the aid of translator John Stillwell's advent and editorial reviews. Now that the Poincaré conjecture has eventually been proved, by way of Grigory Perelman, it sort of feels well timed to assemble the papers that shape the heritage to this well-known conjecture. Poincaré's papers are in reality the 1st draft of algebraic topology, introducing its major material (manifolds) and uncomplicated recommendations (homotopy and homology). All mathematicians drawn to topology and its heritage will take pleasure in this publication. This quantity is one among an off-the-cuff series of works in the historical past of arithmetic sequence. Volumes during this subset, "Sources", are classical mathematical works that served as cornerstones for contemporary mathematical inspiration.

Tel Aviv topology conference: Rothenberg Festschrif, 1998

This quantity offers the lawsuits of the Tel Aviv foreign Topology convention held throughout the targeted Topology application at Tel Aviv collage. The booklet is devoted to Professor Mel Rothenberg at the social gathering of his sixty fifth birthday. His contributions to topology are good known---from the early paintings on triangulations to varied papers on transformation teams and on geometric and analytic features of torsion conception.


Jetzt in der achten Auflage, behandelt dieses bewährte Lehrbuch die Aspekte der mengentheoretischen Topologie, die jeder Mathematikstudent in mittleren Semestern kennen sollte. "Das erklärte Ziel des Autors battle es, von der mengentheoretischen Topologie in leicht faßlicher und anregender shape 'gerade so viel zu bringen, wie ein Mathematikstudent beherrschen sollte.

Additional info for Directed Algebraic Topology: Models of Non-Reversible Worlds (New Mathematical Monographs)

Example text

Now, let A be concrete dI1-category; for the sake of simplicity, we assume that E = E op (which simply allows us to omit the specified isomorphism E → E op ). ∂ − = (∂ + )op : E → Iop . e. a map x : E → X, while a (directed) path in X is a map a : I → X, defined on I = I(E); thus, a path is a homotopy on the standard point E, between its endpoints a : x− → x+ : E → X, xα = ∂ α (a) = a∂ α . 49) Every point x : E → A has a trivial path, 0x = xe : x → x (or degenerate path). ∂ +op = y op . (∂ α I) = xα e.

Ih. 43) (k ◦ ϕ ◦ h)op = k op ◦ ϕop ◦ hop : (kgh)op → (kf h)op (reflection). ) Actually, we can define a richer cubical structure on A (which will be important starting with Chapter 3): a p-dimensional homotopy ϕ : X →p Y is a map ϕˆ : I p X → Y . The composition with ψ : Y →q Z is n-dimensional (with n = p + q) and defined as: ψ ◦ ϕ : X →n Z, ˆ q ϕˆ : I n X → I q Y → Z. 44) As we have already seen for topological spaces (cf. 11)), to extend the endofunctor I to homotopies requires a transposition s : I 2 → I 2 .

4 The basic structure of directed homotopies Let us examine the first-order structure of the standard directed interval ↑I = ↑[0, 1], in the category pTop of preordered topological spaces. 19) where ↑I = {∗} is now an ordered space, with the unique order relation on the singleton. 20) as it takes values in the opposite preordered space ↑I (with the opposite preorder). 21) + c (t) = (t + 1)/2, since a mapping a : ↑I → X with values in a preordered space is a map (continuous and preorder-preserving) if and only if its two restrictions acα (to the first or second half of the interval) are maps.

Download PDF sample

Rated 4.79 of 5 – based on 25 votes