Polygraphic homology of local systems
Resolutions; derived functors (category-theoretic aspects) (18G10) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15) Chain complexes (category-theoretic aspects), dg categories (18G35) Other (co)homology theories (category-theoretic aspects) (18G90) Strict omega-categories, computads, polygraphs (18N30) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) ((infty, n))-categories and ((infty,infty))-categories (18N65) Singular homology and cohomology theory (55N10) Homology with local coefficients, equivariant cohomology (55N25) Simplicial sets and complexes in algebraic topology (55U10) Chain complexes in algebraic topology (55U15)
The authors introduce the concept of polygraphic homology for strict \(\infty\)-categories with coefficients in a local system, extending the polygraphic homology with constant coefficients in \(\mathbb{Z}\) as initially developed by \textit{F. Métayer} [Theory Appl. Categ. 11, 148--184 (2003; Zbl 1020.18001)]. The authors demonstrate that the homology of a simplicial set with coefficients in a local system coincides with the polygraphic homology of its image under the left adjoint of the Street nerve, with coefficients in the corresponding local system. This result establishes a connection between simplicial homology and polygraphic homology in the context of local systems. Furthermore, the authors define a comparison morphism between the polygraphic homology of a strict \(\infty\)-category and the homology of its Street nerve. They prove that this morphism is an isomorphism for \(1\)-categories, providing a link between these two homological frameworks. However, this isomorphism does not hold universally for arbitrary \(\infty\)-categories. Despite this, the authors conjecture that an analogous construction within the framework of weak \(\infty\)-categories, in the sense of Grothendieck, would consistently yield an isomorphism.
- A folk model structure on omega-cat
- A Quillen theorem B for strict \(\infty \)-categories
- A Quillen's Theorem A for strict -categories. I: The simplicial proof
- A Quillen's theorem A for strict -categories. II: The -categorical proof
- Another denormalization theorem for abelian chain complexes
- Cofibrant objects among higher-dimensional categories
- Comparison of \(n\)-categorical nerves
- Conditions de Kan sur les nerfs des \omega-catégories
- Duality for simple -categories and disks
- Grothendieck's homotopy theory
- Higher algebraic K-theory: I
- Higher-dimensional word problems with applications to equational logic
- Homology of categories via polygraphic resolutions
- Homology with local coefficients
- Homotopical algebra
- Homotopy colimits in the category of small categories
- scientific article; zbMATH DE number 3125399 (Why is no real title available?)
- scientific article; zbMATH DE number 4071164 (Why is no real title available?)
- scientific article; zbMATH DE number 3741608 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 517043 (Why is no real title available?)
- scientific article; zbMATH DE number 1924513 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 2103273 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3372161 (Why is no real title available?)
- Iterated wreath product of the simplex category and iterated loop spaces
- Join and slices for strict $\infty$-categories
- Joyal's category \(\varTheta\) is a test category
- Lecture notes in algebraic topology
- Limits indexed by category-valued 2-functors
- Nerves of Multiple Categories
- Omega-categories and chain complexes
- Polygraphic resolutions and homology of monoids
- Presheaves as models for homotopy types
- Pursuing stacks. Volume I. Edited by Georges Maltsiniotis
- Strict n-categories and augmented directed complexes model homotopy types
- The algebra of oriented simplexes
- The folk model category structure on strict \(\omega\)-categories is monoidal
- Topological methods for the construction of tensor functions
- Toward a Thomason model structure on the category of strict n-categorie
- Towards a Thomason model structure on the category of strict \(n\)-categories
This page was built for publication: Polygraphic homology of local systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6547689)
