A Framework for Component Categories

DOI10.1016/j.entcs.2009.02.016zbMath1339.55017OpenAlexW2159928277MaRDI QIDQ2810956

E. Haucourt

Publication date: 6 June 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.016

zbMATH Keywords

algebraic topologypartially ordered spacesfundamental categorydirected algebraic topologyVan Kampen theoremcomponent categorydirected (co)homologyfundamental monoidinessential morphismslocal pospacesloop-free categorypospacesweak equivalence subcategoryYoneda inversible morphisms

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Related Items

The homology of partial monoid actions and Petri nets

Cites Work

• Cohomology of small categories
• Set theory. An introduction to independence proofs
• Combinatorial homotopy and 4-dimensional complexes
• Some geometric perspectives in concurrency theory
• Components of the fundamental category
• On the homology of small categories and asynchronous transition systems
• Algebraic topology and concurrency
• Continuous Lattices and Domains
• Abstract Interpretation Frameworks
• Algebraic topology -- homology and homotopy.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item