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

componentfundamental categoryinvertible morphismdihomotopycategory of fractionslr-systempo-spacepure systemweakly invertible morphism

Mathematics Subject Classification ID

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

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

(30)

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

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)