Components of the fundamental category

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

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

Publication date: 27 May 2004

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

Full work available at URL: https://doi.org/10.1023/b:apcs.0000013812.75342.de

zbMATH Keywords

componentcategory of fractionsinvertible morphismfundamental categorydihomotopylr-systempo-spacepure systemweakly invertible morphism

Mathematics Subject Classification ID

Homotopy groups, general; sets of homotopy classes (55Q05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topological categories, foundations of homotopy theory (55U40)

Related Items (29)

A geometric view of partial order reduction ⋮ Topological abstraction of higher-dimensional automata ⋮ Future Path-components in Directed Topology ⋮ Deadlocks and dihomotopy in mutual exclusion models ⋮ ST-structures ⋮ Left properness of flows ⋮ Unnamed Item ⋮ A cubical model for path spaces in d-simplicial complexes ⋮ Stable components of directed spaces ⋮ Absolute lax 2-categories ⋮ Weak morphisms of higher dimensional automata ⋮ Components of the fundamental category. II ⋮ Directed algebraic topology, categories and higher categories ⋮ Invariants of directed spaces ⋮ Enriched categories and models for spaces of evolving states ⋮ Unnamed Item ⋮ Some collapsing operations for 2-dimensional precubical sets ⋮ Simplicial Models for Concurrency ⋮ Execution spaces for simple higher dimensional automata ⋮ Algebraic topology and concurrency ⋮ Simplicial models of trace spaces ⋮ On execution spaces of PV-programs ⋮ Context for Models of Concurrency ⋮ A Framework for Component Categories ⋮ Comparing Topological Models for Concurrency ⋮ Directed topological complexity of spheres ⋮ Pair component categories for directed spaces ⋮ Trace spaces in a pre-cubical complex ⋮ A convenient category of locally preordered spaces

This page was built for publication: Components of the fundamental category