• 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...
    19 KB (3,171 words) - 07:04, 19 September 2024
  • Thumbnail for Homotopy type theory
    logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intuitionistic type theory, based on the interpretation...
    39 KB (4,433 words) - 11:07, 19 August 2024
  • mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties...
    18 KB (2,762 words) - 23:23, 22 August 2024
  • Thumbnail for Homotopy
    being called a homotopy (/həˈmɒtəpiː/, hə-MO-tə-pee; /ˈhoʊmoʊˌtoʊpiː/, HOH-moh-toh-pee) between the two functions. A notable use of homotopy is the definition...
    23 KB (3,271 words) - 19:34, 3 September 2024
  • topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored...
    25 KB (3,945 words) - 18:51, 26 January 2024
  • mathematics, chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point...
    3 KB (405 words) - 21:48, 9 January 2024
  • In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental...
    20 KB (3,417 words) - 21:07, 23 November 2023
  • In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain...
    4 KB (669 words) - 23:26, 17 August 2023
  • Thumbnail for Homotopy groups of spheres
    In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other....
    82 KB (7,977 words) - 00:48, 18 September 2024
  • in homotopy theory and (higher) category theory, coherency is the standard that equalities or diagrams must satisfy when they hold "up to homotopy" or...
    5 KB (487 words) - 03:57, 10 September 2024
  • behind those equalities. Higher category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic invariants...
    9 KB (944 words) - 09:25, 24 April 2024
  • In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized...
    7 KB (868 words) - 08:22, 10 April 2020
  • evaluating the cohomology theory in degree k {\displaystyle k} on a space X {\displaystyle X} is equivalent to computing the homotopy classes of maps to the...
    21 KB (3,451 words) - 18:25, 26 March 2024
  • cross-section of a bundle. The older meaning for obstruction theory in homotopy theory relates to the procedure, inductive with respect to dimension...
    8 KB (1,085 words) - 08:53, 4 April 2024
  • purposes of homotopy theory. Specifically, the category of simplicial sets carries a natural model structure, and the corresponding homotopy category is...
    23 KB (3,327 words) - 19:12, 4 March 2024
  • In mathematics, algebraic homotopy is a research program on homotopy theory proposed by J.H.C. Whitehead in his 1950 ICM talk, where he described it as:...
    1 KB (158 words) - 23:01, 9 September 2024
  • polyhedra. Shape theory associates with the Čech homology theory while homotopy theory associates with the singular homology theory. Shape theory was invented...
    5 KB (650 words) - 21:44, 23 April 2024
  • theory — Galois theory — Game theory — Gauge theory — Graph theory — Group theory — Hodge theory — Homology theoryHomotopy theory — Ideal theory —...
    38 KB (4,356 words) - 22:54, 24 August 2024
  • Topos (redirect from Topos theory)
    map 0 to 0. Mathematics portal History of topos theory Homotopy hypothesis Intuitionistic type theory ∞-topos Quasitopos Geometric logic Generalized space...
    33 KB (4,369 words) - 16:45, 17 September 2024
  • is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent (or the stronger...
    53 KB (8,076 words) - 11:44, 12 September 2024
  • In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as an instance of the right lifting...
    6 KB (843 words) - 03:37, 30 April 2024
  • Cobordism Thom space Suspension functor Stable homotopy theory Spectrum (homotopy theory) Morava K-theory Hodge conjecture Weil conjectures Directed algebraic...
    4 KB (311 words) - 12:17, 30 October 2023
  • Thumbnail for Algebraic topology
    topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence. Although algebraic topology primarily uses algebra to study...
    19 KB (2,081 words) - 18:42, 13 April 2024
  • CW complex (category Homotopy theory)
    was initially introduced by J. H. C. Whitehead to meet the needs of homotopy theory. CW complexes have better categorical properties than simplicial complexes...
    23 KB (3,419 words) - 18:36, 23 August 2024
  • Postnikov system (category Homotopy theory)
    In homotopy theory, a branch of algebraic topology, a Postnikov system (or Postnikov tower) is a way of decomposing a topological space's homotopy groups...
    19 KB (3,645 words) - 16:45, 22 May 2024
  • mathematics, simple homotopy theory is a homotopy theory (a branch of algebraic topology) that concerns with the simple-homotopy type of a space. It was...
    1 KB (127 words) - 14:59, 11 October 2023
  • In stable homotopy theory, a ring spectrum is a spectrum E together with a multiplication map μ: E ∧ E → E and a unit map η: S → E, where S is the sphere...
    1 KB (127 words) - 18:29, 26 March 2024
  • Bott periodicity theorem (category Theorems in homotopy theory)
    much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can...
    13 KB (1,836 words) - 15:27, 3 May 2024
  • wedge product) Internal product, in a monoidal category Product (category theory), a generalization of mathematical products Fibre product or pullback Coproduct...
    2 KB (246 words) - 17:34, 11 July 2024
  • and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other...
    13 KB (1,749 words) - 11:06, 19 August 2024