Components of the fundamental category

DOI10.1023/B:APCS.0000013812.75342.dezbMath1078.55020MaRDI QIDQ1431357

Eric Goubault, Martin Raussen, Lisbeth Fajstrup, E. Haucourt

Publication date: 27 May 2004

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

zbMATH Keywords

component; category of fractions; invertible morphism; fundamental category; dihomotopy; lr-system; po-space; pure system; weakly invertible morphism

Mathematics Subject Classification ID

55Q05: Homotopy groups, general; sets of homotopy classes

54F05: Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces

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

55P99: Homotopy theory

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

18A32: Factorization systems, substructures, quotient structures, congruences, amalgams

55U40: Topological categories, foundations of homotopy theory

Related Items

Deadlocks and dihomotopy in mutual exclusion models, Enriched categories and models for spaces of evolving states, Simplicial models of trace spaces, Trace spaces in a pre-cubical complex, A convenient category of locally preordered spaces, Absolute lax 2-categories, Components of the fundamental category. II, Directed algebraic topology, categories and higher categories, Invariants of directed spaces, Algebraic topology and concurrency, Unnamed Item