"inverse limit" meaning in English

See inverse limit in All languages combined, or Wiktionary

Noun

Forms: inverse limits [plural]
Head templates: {{en-noun}} inverse limit (plural inverse limits)
  1. (algebra) A subset of the Cartesian product of all the members of an inverse system, such that a member M of the subset is a sort of “cross section” of the inverse system (as fiber bundle) induced by the morphisms of it. (If i<j in the indexing poset then f_ij:A_j→A_i in the inverse system and if a_i∈A_i, a_j∈A_j are components of M then f_ij(a_j)=a_i). Categories (topical): Algebra
    Sense id: en-inverse_limit-en-noun--ba0uPUO Categories (other): English entries with incorrect language header, Pages with 1 entry, Pages with entries Disambiguation of English entries with incorrect language header: 70 30 Disambiguation of Pages with 1 entry: 72 28 Disambiguation of Pages with entries: 76 24 Topics: algebra, mathematics, sciences
  2. (category theory) a limit Categories (topical): Category theory Synonyms: projective limit Related terms: inverse system
    Sense id: en-inverse_limit-en-noun-~wCaK~qr Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences

Inflected forms

{
  "antonyms": [
    {
      "word": "direct limit"
    }
  ],
  "forms": [
    {
      "form": "inverse limits",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "inverse limit (plural inverse limits)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Algebra",
          "orig": "en:Algebra",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "70 30",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "72 28",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "76 24",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "text": "An inverse limit has “natural projections” which are restrictions of the projections of the Cartesian product (to a domain which is the inverse limit). The reason why the projections are described as “natural” would be the following: besides the functor from an index poset to the inverse system, there is another functor from the same index poset to the inverse limit of that system, this functor being a constant functor. Then there is a natural transformation from the constant functor to the inverse limit’s functor: the components of such natural transformation are the said “natural projections”.",
          "type": "example"
        },
        {
          "text": "Inverse limits are concrete-categorical versions of limits.",
          "type": "example"
        }
      ],
      "glosses": [
        "A subset of the Cartesian product of all the members of an inverse system, such that a member M of the subset is a sort of “cross section” of the inverse system (as fiber bundle) induced by the morphisms of it. (If i<j in the indexing poset then f_ij:A_j→A_i in the inverse system and if a_i∈A_i, a_j∈A_j are components of M then f_ij(a_j)=a_i)."
      ],
      "id": "en-inverse_limit-en-noun--ba0uPUO",
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "Cartesian product",
          "Cartesian product"
        ],
        [
          "inverse system",
          "inverse system"
        ],
        [
          "fiber bundle",
          "fiber bundle"
        ]
      ],
      "raw_glosses": [
        "(algebra) A subset of the Cartesian product of all the members of an inverse system, such that a member M of the subset is a sort of “cross section” of the inverse system (as fiber bundle) induced by the morphisms of it. (If i<j in the indexing poset then f_ij:A_j→A_i in the inverse system and if a_i∈A_i, a_j∈A_j are components of M then f_ij(a_j)=a_i)."
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Category theory",
          "orig": "en:Category theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "a limit"
      ],
      "id": "en-inverse_limit-en-noun-~wCaK~qr",
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "limit",
          "limit"
        ]
      ],
      "raw_glosses": [
        "(category theory) a limit"
      ],
      "related": [
        {
          "_dis1": "38 62",
          "word": "inverse system"
        }
      ],
      "synonyms": [
        {
          "_dis1": "38 62",
          "word": "projective limit"
        }
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "wikipedia": [
    "inverse limit"
  ],
  "word": "inverse limit"
}
{
  "antonyms": [
    {
      "word": "direct limit"
    }
  ],
  "categories": [
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English multiword terms",
    "English nouns",
    "Pages with 1 entry",
    "Pages with entries"
  ],
  "forms": [
    {
      "form": "inverse limits",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "inverse limit (plural inverse limits)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "inverse system"
    }
  ],
  "senses": [
    {
      "categories": [
        "English terms with usage examples",
        "en:Algebra"
      ],
      "examples": [
        {
          "text": "An inverse limit has “natural projections” which are restrictions of the projections of the Cartesian product (to a domain which is the inverse limit). The reason why the projections are described as “natural” would be the following: besides the functor from an index poset to the inverse system, there is another functor from the same index poset to the inverse limit of that system, this functor being a constant functor. Then there is a natural transformation from the constant functor to the inverse limit’s functor: the components of such natural transformation are the said “natural projections”.",
          "type": "example"
        },
        {
          "text": "Inverse limits are concrete-categorical versions of limits.",
          "type": "example"
        }
      ],
      "glosses": [
        "A subset of the Cartesian product of all the members of an inverse system, such that a member M of the subset is a sort of “cross section” of the inverse system (as fiber bundle) induced by the morphisms of it. (If i<j in the indexing poset then f_ij:A_j→A_i in the inverse system and if a_i∈A_i, a_j∈A_j are components of M then f_ij(a_j)=a_i)."
      ],
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "Cartesian product",
          "Cartesian product"
        ],
        [
          "inverse system",
          "inverse system"
        ],
        [
          "fiber bundle",
          "fiber bundle"
        ]
      ],
      "raw_glosses": [
        "(algebra) A subset of the Cartesian product of all the members of an inverse system, such that a member M of the subset is a sort of “cross section” of the inverse system (as fiber bundle) induced by the morphisms of it. (If i<j in the indexing poset then f_ij:A_j→A_i in the inverse system and if a_i∈A_i, a_j∈A_j are components of M then f_ij(a_j)=a_i)."
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ]
    },
    {
      "categories": [
        "en:Category theory"
      ],
      "glosses": [
        "a limit"
      ],
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "limit",
          "limit"
        ]
      ],
      "raw_glosses": [
        "(category theory) a limit"
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "projective limit"
    }
  ],
  "wikipedia": [
    "inverse limit"
  ],
  "word": "inverse limit"
}

Download raw JSONL data for inverse limit meaning in English (2.6kB)


This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). 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.