Computing path categories of finite directed cubical complexes

DOI10.1007/s00200-014-0243-2zbMath1327.18027OpenAlexW2025964269MaRDI QIDQ2352518

Michael D. Misamore

Publication date: 2 July 2015

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-014-0243-2

zbMATH Keywords

simplicial setsdirected topologycubical complexespath category

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (2)

Weak equivalence of higher-dimensional automata ⋮ Topological abstraction of higher-dimensional automata

Cites Work

• Path categories and resolutions
• Some collapsing operations for 2-dimensional precubical sets
• Categorical homotopy theory
• Homotopy inverses for nerve

This page was built for publication: Computing path categories of finite directed cubical complexes