"homotopy theory" meaning in All languages combined

See homotopy theory on Wiktionary

Noun [English]

Forms: homotopy theories [plural]
Head templates: {{en-noun|~}} homotopy theory (countable and uncountable, plural homotopy theories)
  1. (mathematics) The systematic study of the situation of maps' having a homotopy between them; the study of equivalence classes (called homotopy classes) of maps. Wikipedia link: homotopy theory Tags: countable, uncountable Categories (topical): Mathematics Derived forms: abstract homotopy theory, A¹ homotopy theory, rational homotopy theory Related terms: fundamental group, homotopic, homotopy class, homotopy group, homotopy hypothesis
    Sense id: en-homotopy_theory-en-noun-6N9Qvdcg Categories (other): English entries with incorrect language header Topics: mathematics, sciences

Inflected forms

Alternative forms

Download JSON data for homotopy theory meaning in All languages combined (2.7kB)

{
  "forms": [
    {
      "form": "homotopy theories",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "homotopy theory (countable and uncountable, plural homotopy theories)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "derived": [
        {
          "word": "abstract homotopy theory"
        },
        {
          "word": "A¹ homotopy theory"
        },
        {
          "word": "rational homotopy theory"
        }
      ],
      "examples": [
        {
          "text": "Homotopy theory originated as a topic in algebraic topology, but is now studied as an independent discipline in its own right, and as a tool in fields including category theory and algebraic geometry.",
          "type": "example"
        },
        {
          "text": "1988, Alex Heller, Homotopy Theories, American Mathematical Society, https://books.google.com.au/books?id=hkXUCQAAQBAJ&printsec=frontcover&dq=%22homotopy+theories%22&hl=en&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiAzeb7qKfsAhUayTgGHeEyBZQQ6AEwAHoECAAQAg#v=onepage&q=%22homotopy%20theories%22&f=false."
        },
        {
          "ref": "1989, Hans Joachim Baues, Algebraic Homotopy, Cambridge University Press, page 371",
          "text": "This is our main result, deduced from the axioms of a cofibration category, which leads to many new theorems on the homotopy classification problems in topology and in various algebraic homotopy theories.",
          "type": "quotation"
        },
        {
          "ref": "2010, Julia E. Bergner, “A Survey of (∞,1)-Categories”, in John C. Baez, J. Peter May, editors, Towards Higher Categories, Springer,, page 69",
          "text": "They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The systematic study of the situation of maps' having a homotopy between them; the study of equivalence classes (called homotopy classes) of maps."
      ],
      "id": "en-homotopy_theory-en-noun-6N9Qvdcg",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "map",
          "map"
        ],
        [
          "homotopy",
          "homotopy"
        ],
        [
          "equivalence class",
          "equivalence class"
        ],
        [
          "homotopy class",
          "homotopy class"
        ]
      ],
      "raw_glosses": [
        "(mathematics) The systematic study of the situation of maps' having a homotopy between them; the study of equivalence classes (called homotopy classes) of maps."
      ],
      "related": [
        {
          "word": "fundamental group"
        },
        {
          "word": "homotopic"
        },
        {
          "word": "homotopy class"
        },
        {
          "word": "homotopy group"
        },
        {
          "word": "homotopy hypothesis"
        }
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "wikipedia": [
        "homotopy theory"
      ]
    }
  ],
  "word": "homotopy theory"
}
{
  "derived": [
    {
      "word": "abstract homotopy theory"
    },
    {
      "word": "A¹ homotopy theory"
    },
    {
      "word": "rational homotopy theory"
    }
  ],
  "forms": [
    {
      "form": "homotopy theories",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "homotopy theory (countable and uncountable, plural homotopy theories)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "fundamental group"
    },
    {
      "word": "homotopic"
    },
    {
      "word": "homotopy class"
    },
    {
      "word": "homotopy group"
    },
    {
      "word": "homotopy hypothesis"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with quotations",
        "English terms with usage examples",
        "English uncountable nouns",
        "en:Mathematics"
      ],
      "examples": [
        {
          "text": "Homotopy theory originated as a topic in algebraic topology, but is now studied as an independent discipline in its own right, and as a tool in fields including category theory and algebraic geometry.",
          "type": "example"
        },
        {
          "text": "1988, Alex Heller, Homotopy Theories, American Mathematical Society, https://books.google.com.au/books?id=hkXUCQAAQBAJ&printsec=frontcover&dq=%22homotopy+theories%22&hl=en&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiAzeb7qKfsAhUayTgGHeEyBZQQ6AEwAHoECAAQAg#v=onepage&q=%22homotopy%20theories%22&f=false."
        },
        {
          "ref": "1989, Hans Joachim Baues, Algebraic Homotopy, Cambridge University Press, page 371",
          "text": "This is our main result, deduced from the axioms of a cofibration category, which leads to many new theorems on the homotopy classification problems in topology and in various algebraic homotopy theories.",
          "type": "quotation"
        },
        {
          "ref": "2010, Julia E. Bergner, “A Survey of (∞,1)-Categories”, in John C. Baez, J. Peter May, editors, Towards Higher Categories, Springer,, page 69",
          "text": "They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The systematic study of the situation of maps' having a homotopy between them; the study of equivalence classes (called homotopy classes) of maps."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "map",
          "map"
        ],
        [
          "homotopy",
          "homotopy"
        ],
        [
          "equivalence class",
          "equivalence class"
        ],
        [
          "homotopy class",
          "homotopy class"
        ]
      ],
      "raw_glosses": [
        "(mathematics) The systematic study of the situation of maps' having a homotopy between them; the study of equivalence classes (called homotopy classes) of maps."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "wikipedia": [
        "homotopy theory"
      ]
    }
  ],
  "word": "homotopy theory"
}

This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-05-10 from the enwiktionary dump dated 2024-05-02 using wiktextract (a644e18 and edd475d). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.