The path category functor is left adjoint to the nerve functor from small categories to simplicial sets. The path category of a simplicial set is equal to the free category generated by the \(1\)-simplices modulo the relations generated by the \(2\)-simplices. This method specializes to cubical sets via the triangulation functor from cubical to simplicial sets. The path category of a cubical set is then isomorphic to the free category generated by the \(1\)-skeleton modulo the relations arising from all \(2\)-squares. So it leads to calculations of the fundamental category. Note that the notion of simplicial set is directed in the sense that there is a natural orientation of the simplices and that the triangulation functor from cubical sets to simplicial sets preserves the direction of time contained in a cubical set (an \(n\)-cube modeling the concurrent execution of \(n\) actions).
- Computing path categories of finite directed cubical complexes
- A co-reflection of cubical sets into simplicial sets with applications to model structures
- scientific article; zbMATH DE number 3917264
- Models and van Kampen theorems for directed homotopy theory
- Spaces of directed paths on pre-cubical sets
- The algebra of directed complexes
- Higher fundamental groupoids for spaces
- Computing path categories of finite directed cubical complexes
- scientific article; zbMATH DE number 3917264 (Why is no real title available?)
- Simplicial Models for Concurrency
- The unit of the total décalage adjunction
- Simplicial models of trace spaces
This page was built for publication: Path categories and resolutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607285)
