"inverse limit" meaning in English

{
  "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": "69 31",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "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"
  ],
  "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"
}