Directed degeneracy maps for precubical sets

MaRDI QIDQ6125954zbMATH OpenFDO

Authors Philippe Gaucher

Publication date 9 April 2024

Full work available at URL https://arxiv.org/abs/2209.02667, http://www.tac.mta.ca/tac/volumes/41/7/41-07abs.html

zbMATH Keywords

directed pathpseudometric spacedirected homotopyprecubical setLawvere metric spaceaccessible model categoryprojective model categorygeneralized reedy category

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Accessible and locally presentable categories (18C35)

Recommendations

• Comparing cubical and globular directed paths
• Spaces of directed paths on pre-cubical sets
• Towards a homotopy theory of higher dimensional transition systems
• Directed homology
• Equivalence of the categories of precubical sets and transitional Chu-spaces with preservation of the openness of the morphisms

Cites work

• scientific article; zbMATH DE number 44585 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 1924514 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 7684598 (Why is no real title available?)
• (Co)end Calculus
• A convenient category for directed homotopy
• A model category for the homotopy theory of concurrency
• A necessary and sufficient condition for induced model structures
• Accessible model categories
• Category theory in context
• Combinatorics of labelling in higher-dimensional automata
• Combinatorics of past-similarity in higher dimensional transition systems
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Directed homotopy in non-positively curved spaces
• Globular realization and cubical underlying homotopy type of time flow of process algebra
• Homotopy theory of Moore flows. I
• Left properness of flows
• Mixing model structures
• On an extension of the notion of Reedy category
• On combinatorial model categories
• On the algebra of cubes
• On the construction of functorial factorizations for model categories
• Presheaves as models for homotopy types
• Sheafifiable homotopy model categories
• Six model categories for directed homotopy
• Spaces of directed paths on pre-cubical sets II
• The \(D\)-topology for diffeological spaces
• Towards a homotopy theory of process algebra
• Trace spaces in a pre-cubical complex

This page was built for publication: Directed degeneracy maps for precubical sets

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