Hypothesis that the ∞-groupoids are equivalent to the topological spaces
In category theory, a branch of mathematics, Grothendieck's homotopy hypothesis states that the ∞-groupoids are spaces. If we model our ∞-groupoids as Kan complexes, then the homotopy types of the geometric realizations of these sets give models for every homotopy type. It is conjectured that there are many different "equivalent" models for ∞-groupoids all which can be realized as homotopy types.
and 22 Related for: Homotopy hypothesis information
Grothendieck's homotopyhypothesis states that the ∞-groupoids are spaces. If we model our ∞-groupoids as Kan complexes, then the homotopy types of the...
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic...
{Z} ,+)} , the additive group of integers. The homotopyhypothesis, a well-known conjecture in homotopy theory formulated by Alexander Grothendieck, states...
homomorphism must map 0 to 0. Mathematics portal History of topos theory Homotopyhypothesis Intuitionistic type theory ∞-topos Quasitopos Geometric logic Illusie...
In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intuitionistic type theory, based on...
fundamental group based at x0, denoted π1(X, x0). This is the group of homotopy classes of loops based at x0, with the group operation of concatenation...
category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic invariants of spaces, such as the...
purposes of homotopy theory. Specifically, the category of simplicial sets carries a natural model structure, and the corresponding homotopy category is...
individual objects, consider homotopy groups of a product space, specifically the fundamental group of the torus. The homotopy groups of a product space...
rather evident sense. In the category of pointed spaces, fundamental in homotopy theory, the coproduct is the wedge sum (which amounts to joining a collection...
Introduction to Category Theory, ISBN 978-0521283045. Simpson, Carlos (2010). Homotopy theory of higher categories. arXiv:1001.4071. Bibcode:2010arXiv1001.4071S...
space [SX, Y] of homotopy classes of maps from the suspension SX of X to Y is naturally isomorphic to the space [X, ΩY] of homotopy classes of maps from...
equivalence between the category of sober spaces and spatial locales. The homotopyhypothesis relates Top with ∞Grpd, the category of ∞-groupoids. The conjecture...
fibration Grothendieck's Galois theory Grothendieck group Grothendieck's homotopyhypothesis Grothendieck inequality or Grothendieck constant Grothendieck–Katz...
On the foundations of homological algebra K-theory Hilbert scheme Homotopyhypothesis Infinitesimal cohomology – cohomology theory for algebraic varieties...