Directed algebraic topology, categories and higher categories

DOI10.1007/s10485-007-9084-5zbMath1131.55006MaRDI QIDQ2463398

Marco Grandis

Publication date: 6 December 2007

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-007-9084-5

zbMATH Keywords

homotopy; 2-category; concurrent process; fundamental category; lax category

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

55P99: Homotopy theory

55U35: Abstract and axiomatic homotopy theory in algebraic topology

Related Items

Homotopical Categories of Logics, Future Path-components in Directed Topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cubical homotopical algebra and cochain algebras
• The fundamental weighted category of a weighted space: From directed to weighted algebraic topology
• C*-algebras associated with irrational rotations
• Categorically algebraic foundations for homotopical algebra
• Components of the fundamental category
• Localization of universal problems. Local colimits
• Inequilogical spaces, directed homology and noncommutative geometry
• A model category for the homotopy theory of concurrency
• Equilogical spaces
• Absolute lax 2-categories
• Components of the fundamental category. II
• Algebra and geometry of rewriting
• Modelling fundamental 2-categories for directed homotopy
• Metric spaces, generalized logic, and closed categories
• Geometry and concurrency: a user's guide
• Directed combinatorial homology and noncommutative tori (The breaking of symmetries in algebraic topology)
• ABSTRACT HOMOTOPY