Modelling fundamental 2-categories for directed homotopy

DOI10.4310/HHA.2006.V8.N1.A2MaRDI QIDQ2575128zbMATH OpenFDO

Authors Marco Grandis

Publication date 5 December 2005

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL http://intlpress.com/hha/v8/n1/

zbMATH Keywords

fundamental 2-category

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Homotopy theory (55P99) Homotopy groups (55Q99) Applied homological algebra and category theory in algebraic topology (55U99)

Review text

It is strange that such a natural idea as Directed Homotopy has taken such a long time to emerge to form a basic subdiscipline of algebraic topology, but now the introduction of directed homotopy has been partially motivated by deep and important problems within computer science and increasingly within related areas of physics. The idea that a path in a space is traversed in some `time' is often used as a teaching tool in elementary courses in the area of homotopy theory. `Time' is irreversible, so paths shold be irreversible, but groups and groupoids have more accessible algebraic structures than monoids and small categories, thus we have `traditionally' allowed reversal of paths as the norm in homotopy theory. This is no longer as permissible when the basic objects are directed spaces, for example, ordered or partially ordered topological spaces. This results in fundamental categories rather than fundamental groupoids being the relevant objects in dimension 1. The study of invariance under directed homotopy is far richer and more complex than the classical case. In this paper, previous results of the author and others are pushed further and fundamental 2-categories of directed spaces are explored in detail. The paper uses a fair bit of 2-category theoretic terminology but all the notions of that theory that are used here are explicitly reviewed in the paper.

Recommendations

• scientific article; zbMATH DE number 2051884
• scientific article; zbMATH DE number 1803729
• Models and van Kampen theorems for directed homotopy theory
• Absolute lax 2-categories
• Lax 2-categories and directed homotopy

Cited in

(14)

• Strict n-categories and augmented directed complexes model homotopy types
• Inequilogical spaces, directed homology and noncommutative geometry
• Absolute lax 2-categories
• Directed algebraic topology, categories and higher categories
• Invariants of directed spaces
• scientific article; zbMATH DE number 1803729 (Why is no real title available?)
• Quotient models of a category up to directed homotopy
• Lax 2-categories and directed homotopy
• scientific article; zbMATH DE number 2051884 (Why is no real title available?)
• The directed homotopy hypothesis
• A convenient category for directed homotopy
• scientific article; zbMATH DE number 2222243 (Why is no real title available?)
• Diagram groups are totally orderable.
• Enriched categories and models for spaces of evolving states

This page was built for publication: Modelling fundamental 2-categories for directed homotopy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575128)