Components of the fundamental category

DOI10.1023/B:APCS.0000013812.75342.DEMaRDI QIDQ1431357zbMATH OpenOpenAlexFDO

Authors Lisbeth Fajstrup, Martin Raussen, Éric Goubault, Emmanuel 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

category of fractionscomponentdihomotopyfundamental categoryinvertible morphismlr-systempo-spacepure systemweakly invertible morphism

Mathematics Subject Classification ID

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

Recommendations

• Components of the fundamental category. II
• scientific article; zbMATH DE number 2051884
• State spaces and dipaths up to dihomotopy
• A framework for component categories
• Models and van Kampen theorems for directed homotopy theory

Cited in

(33)

• Trace spaces in a pre-cubical complex
• A convenient category of locally preordered spaces
• Directed topological complexity of spheres
• Pair component categories for directed spaces
• 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
• Algebraic topology and concurrency
• A geometric view of partial order reduction
• Topological abstraction of higher-dimensional automata
• Context for models of concurrency
• A framework for component categories
• Comparing topological models for concurrency
• Future path-components in directed topology
• ST-structures
• Lax 2-categories and directed homotopy
• A cubical model for path spaces in d-simplicial complexes
• Sculptures in concurrency
• Left properness of flows
• Simplicial Models for Concurrency
• Streams, \(d\)-spaces and their fundamental categories
• On execution spaces of PV-programs
• Cubical approximation for directed topology. II
• Some collapsing operations for 2-dimensional precubical sets
• Directed homology and persistence modules
• Logic and languages of higher-dimensional automata
• Execution spaces for simple higher dimensional automata
• Deadlocks and dihomotopy in mutual exclusion models
• Enriched categories and models for spaces of evolving states
• Simplicial models of trace spaces

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

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