Simple homotopy theory and nerve theorem for categories

Abstract We study a combinatorial homotopy theory for small categories without a loop (loopfree categories) which is closely related to Whitehead's simple homotopy theory for regular CW-complexes with triangular cells. Quillen's theorem A and the nerve theorem for loopfree categories are considered from the viewpoint of the simple homotopy theory. Moreover, we extend the classical nerve theorem and discuss an application to the topological data analysis for data-sets lying in a non-convex field.

[1]  Kohei Tanaka,et al.  \v{C}ech complexes for covers of small categories , 2015, 1508.03688.

[2]  S. Schwede.  Categories and orbispaces , 2018, Algebraic & Geometric Topology.

[3]  Kohei Tanaka.  Strong Homotopy Types of Acyclic Categories and $$\varDelta $$Δ-Complexes , 2019, Appl. Categorical Struct..

[4]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

[5]  M. D. Hoyo,et al.  On the subdivision of small categories , 2007, 0707.1718.

[6]  Afra Zomorodian,et al.  Computing Persistent Homology , 2005, Discret. Comput. Geom..

[7]  G. Segal,et al.  Categories and cohomology theories , 1974 .

[8]  Konstantin Mischaikow,et al.  Morse Theory for Filtrations and Efficient Computation of Persistent Homology , 2013, Discret. Comput. Geom..

[9]  Kohei Tanaka.  A model structure on the category of small categories for coverings , 2009, 0907.5339.

[10]  B. J. Sanderson,et al.  Δ-SETS I: HOMOTOPY THEORY , 1971 .

[11]  K. Borsuk.  On the imbedding of systems of compacta in simplicial complexes , 1948 .

[12]  Graeme Segal,et al.  Classifying spaces and spectral sequences , 1968 .

[13]  Dmitry N. Kozlov,et al.  Combinatorial Algebraic Topology , 2007, Algorithms and computation in mathematics.

[14]  Jonathan Ariel Barmak,et al.  On Quillen's Theorem A for posets , 2010, J. Comb. Theory, Ser. A.

[15]  Marshall M. Cohen.  A Course in Simple-Homotopy Theory , 1973 .

[16]  Daniel C. Isaksen,et al.  Topological hypercovers and 1-realizations , 2004 .

[17]  André Haefliger.  Extension of complexes of groups , 1992 .

[18]  R. Ho.  Algebraic Topology , 2022 .

[19]  M. McCord.  HOMOTOPY TYPE COMPARISON OF A SPACE WITH COMPLEXES ASSOCIATED WITH ITS OPEN COVERS , 1967 .

[20]  Elias Gabriel Minian,et al.  The Cylinder of a Relation and Generalized Versions of the Nerve Theorem , 2018, Discret. Comput. Geom..

[21]  S. Lubkin.  On a conjecture of André Weil , 1964 .

[22]  Elias Gabriel Minian,et al.  Simple homotopy types and finite spaces , 2006, math/0611158.

[23]  Elias Gabriel Minian,et al.  Strong Homotopy Types, Nerves and Collapses , 2009, Discret. Comput. Geom..

[24]  J. Whitehead,et al.  Simple Homotopy Types , 1950 .

[25]  R. E. Stong,et al.  Finite topological spaces , 1966 .

[26]  Samuel Eilenberg,et al.  SEMI-SIMPLICIAL COMPLEXES AND SINGULAR HOMOLOGY , 1950 .

[27]  Gunnar E. Carlsson,et al.  Topology and data , 2009 .

[28]  D. Sullivan,et al.  Geometric Topology: Localization, Periodicity and Galois Symmetry: The 1970 MIT Notes , 2005 .

[29]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.