A Framework for Component Categories
DOI10.1016/j.entcs.2009.02.016zbMath1339.55017OpenAlexW2159928277MaRDI QIDQ2810956
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
algebraic topologypartially ordered spacesfundamental categorydirected algebraic topologyVan Kampen theoremcomponent categorydirected (co)homologyfundamental monoidinessential morphismslocal pospacesloop-free categorypospacesweak equivalence subcategoryYoneda inversible morphisms
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
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