Modelling and computing homotopy types: I

DOI10.1016/J.INDAG.2017.01.009MaRDI QIDQ1688970zbMATH OpenOpenAlexFDO

Authors Peng Zhang

Publication date 12 January 2018

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.07421

zbMATH Keywords

groupoidshigher groupoidshomotopy typesSeifert-van Kampen theorems

Mathematics Subject Classification ID

Classification of homotopy type (55P15)

Abstract: The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the border between homology and homotopy. We explain some applications to filtered spaces, and special cases of them, while a sequel will show the relevance to n-cubes of pointed spaces.

Recommendations

• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• scientific article
• Algebraic colimit calculations in homotopy theory using fibred and cofibred categories
• Homotopy theory, and change of base for groupoids and multiple groupoids
• Groupoids and crossed objects in algebraic topology

Cites work

• A certain exact sequence
• A van Kampen theorem for unions of non-connected spaces
• ABSTRACT HOMOTOPY
• Algebras with a Scheme of Operators
• Colimit theorems for relative homotopy groups
• Combinatorial homotopy. II
• Crossed squares and combinatorial homotopy
• Cubical approach to derived functors
• Cubical groups which are Kan
• Cubical homotopy theory
• Dynamics on wild character varieties
• From Groups to Groupoids: a Brief Survey
• Groupoids and Van Kampen's Theorem
• Groupoids, the Phragmen-Brouwer property, and the Jordan curve theorem
• Higher-dimensional crossed modules and the homotopy groups of \((n+1)\)- ads
• Homotopical Excision, and Hurewicz Theorems, for n -Cubes of Spaces
• scientific article; zbMATH DE number 3159485 (Why is no real title available?)
• scientific article; zbMATH DE number 3690275 (Why is no real title available?)
• scientific article; zbMATH DE number 3761016 (Why is no real title available?)
• scientific article; zbMATH DE number 3521203 (Why is no real title available?)
• scientific article; zbMATH DE number 3536300 (Why is no real title available?)
• scientific article; zbMATH DE number 3631581 (Why is no real title available?)
• scientific article; zbMATH DE number 1295627 (Why is no real title available?)
• scientific article; zbMATH DE number 2172968 (Why is no real title available?)
• scientific article; zbMATH DE number 861609 (Why is no real title available?)
• scientific article; zbMATH DE number 3205927 (Why is no real title available?)
• scientific article; zbMATH DE number 3257107 (Why is no real title available?)
• scientific article; zbMATH DE number 3305134 (Why is no real title available?)
• scientific article; zbMATH DE number 3358760 (Why is no real title available?)
• scientific article; zbMATH DE number 3190902 (Why is no real title available?)
• MATHEMATICS IN THE 20TH CENTURY
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• On a Method of P. Olum
• On adding relations to homotopy groups
• On relative homotopy groups of the product filtration, the James construction, and a formula of Hopf
• On the 3-Type of a Complex
• On the algebra of cubes
• On the Connection between the Second Relative Homotopy Groups of Some Related Spaces
• On the Second Relative Homotopy Group of an Adjunction Space: An Exposition of a Theorem of J. H. C. Whitehead
• On the van Kampen theorem
• Resolutions of Spaces by Cubes of Fibrations
• Some geometric perspectives in concurrency theory
• Some relations between homology and homotopy groups
• Spaces with finitely many non-trivial homotopy groups
• The cubical category with connections is a strict test category
• The Einstein-Wertheimer correspondence on geometric proofs and mathematical puzzles
• The homotopy addition theorem
• The homotopy groups of knots. I: How to compute the algebraic 2-type
• Van Kampen theorems for diagrams of spaces

Cited in

(15)

• Homotopy theory, and change of base for groupoids and multiple groupoids
• Homology groups of cubical sets with connections
• ``Not just an idle game: the story of higher-dimensional versions of the Poincaré fundamental group
• Computing 3-dimensional groups: crossed squares and \(\mathrm{cat}^2\)-groups
• Kirill Mackenzie, Bangor and Holonomy
• Colimits of crossed modules in modified categories of interest
• A new higher homotopy groupoid: the fundamental globular \(\omega\)-groupoid of a filtered space
• On morphisms of crossed polymodules
• scientific article; zbMATH DE number 7377640 (Why is no real title available?)
• Modeling Homotopy Theories
• Extending the Notion of AT-Model for Integer Homology Computation
• The Moore Complex of a Simplicial Cocommutative Hopf Algebra
• Fundamental Groupoids and Homotopy Types of Non-compact Surfaces
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• A colimit of classifying spaces

Describes a project that uses

Uses Software

• cubicaltt

This page was built for publication: Modelling and computing homotopy types: I

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