"natural transformation" meaning in All languages combined

See natural transformation on Wiktionary

Noun [English]

Forms: natural transformations [plural]
Head templates: {{en-noun}} natural transformation (plural natural transformations)
  1. (category theory) A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow). Wikipedia link: natural transformation Categories (topical): Category theory Derived forms: Cartesian natural transformation Related terms: natural isomorphism Translations (Translations): natürliche Transformation [feminine] (German), естественное преобразование [neuter] (Russian)

Inflected forms

Download JSON data for natural transformation meaning in All languages combined (2.5kB)

{
  "forms": [
    {
      "form": "natural transformations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "natural transformation (plural natural transformations)",
      "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": "other",
          "name": "German terms in nonstandard scripts",
          "parents": [
            "Terms in nonstandard scripts",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Category theory",
          "orig": "en:Category theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "derived": [
        {
          "word": "Cartesian natural transformation"
        }
      ],
      "glosses": [
        "A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow)."
      ],
      "id": "en-natural_transformation-en-noun-v9zhstyy",
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "functor",
          "functor"
        ]
      ],
      "raw_glosses": [
        "(category theory) A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow)."
      ],
      "related": [
        {
          "word": "natural isomorphism"
        }
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "translations": [
        {
          "code": "de",
          "lang": "German",
          "sense": "Translations",
          "tags": [
            "feminine"
          ],
          "word": "natürliche Transformation"
        },
        {
          "code": "de",
          "lang": "Russian",
          "sense": "Translations",
          "tags": [
            "neuter"
          ],
          "word": "естественное преобразование"
        }
      ],
      "wikipedia": [
        "natural transformation"
      ]
    }
  ],
  "word": "natural transformation"
}
{
  "derived": [
    {
      "word": "Cartesian natural transformation"
    }
  ],
  "forms": [
    {
      "form": "natural transformations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "natural transformation (plural natural transformations)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "natural isomorphism"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "German terms in nonstandard scripts",
        "Translation table header lacks gloss",
        "en:Category theory"
      ],
      "glosses": [
        "A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow)."
      ],
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "functor",
          "functor"
        ]
      ],
      "raw_glosses": [
        "(category theory) A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow)."
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "natural transformation"
      ]
    }
  ],
  "translations": [
    {
      "code": "de",
      "lang": "German",
      "sense": "Translations",
      "tags": [
        "feminine"
      ],
      "word": "natürliche Transformation"
    },
    {
      "code": "de",
      "lang": "Russian",
      "sense": "Translations",
      "tags": [
        "neuter"
      ],
      "word": "естественное преобразование"
    }
  ],
  "word": "natural transformation"
}

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.