Article
Keywords:
contractible; homotopic to a constant; reduced homotopy; partial simplicial object
Summary:
We raise the question of when a simplicial object in a catetgory is deemed contractible. The literature offers three definitions. One is the existence of an ``extra degeneracy'', indexed by $-1$, which does not quite live up to the name. This can be strengthened to a ``strong extra degeneracy". Another possibility is that it be homotopic to a constant simplicial object. Despite claims in the literature to the contrary, we show that all three are distinct concepts with strong extra degeneracy implies extra degeneracy implies homotopic to a constant and give explicit examples to show the converses fail.
References:
[3] Goerss P. G., Jardine J. F.:
Simplicial Homotopy Theory. Progress in Mathematics, 174, Birkhäuser, Basel, 1999.
MR 1711612
[4] González B. R.:
Simplicial Descent Categories. Translated and revised version of 2007 Thesis from University of Seville, available at arXiv:0804.2154v1 [math.AG], 2008.
MR 2864852
[6] Khalimskiĭ E. D.:
The topologies of generalized segments. Dokl. Akad. Nauk SSSR 189 (1969), 740–743 (Russian).
MR 0256359
[7] Linton F. E. J.:
Applied functorial semantics, II. Sem. on Triples and Categorical Homology Theory, ETH, Zürich, 1966/67, Springer, Berlin, 1969, pages 53–74.
MR 0249485
[9] Riehl E.:
Categorical Homotopy Theory. New Mathematical Monographs, 24, Cambridge University Press, Cambridge, 2014.
MR 3221774