"subfunctor" meaning in All languages combined

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "sub",
        "3": "functor"
      },
      "expansion": "sub- + functor",
      "name": "prefix"
    }
  ],
  "etymology_text": "sub- + functor",
  "forms": [
    {
      "form": "subfunctors",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "subfunctor (plural subfunctors)",
      "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": "English terms prefixed with sub-",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Category theory",
          "orig": "en:Category theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "2015, Serge Bouc, Jacques Thévenaz, “The representation theory of finite sets and correspondences”, in arXiv",
          "text": "Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A functor such that all of the objects it maps are mapped by the parent functor, and for any arrow it maps the parent functor includes the same mapping (although it may also map arrows from the same domain to additional images outside the image of the subfunctor)."
      ],
      "id": "en-subfunctor-en-noun-zDxHtMtZ",
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "functor",
          "functor"
        ]
      ],
      "raw_glosses": [
        "(category theory) A functor such that all of the objects it maps are mapped by the parent functor, and for any arrow it maps the parent functor includes the same mapping (although it may also map arrows from the same domain to additional images outside the image of the subfunctor)."
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "subfunctor"
      ]
    }
  ],
  "word": "subfunctor"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "sub",
        "3": "functor"
      },
      "expansion": "sub- + functor",
      "name": "prefix"
    }
  ],
  "etymology_text": "sub- + functor",
  "forms": [
    {
      "form": "subfunctors",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "subfunctor (plural subfunctors)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms prefixed with sub-",
        "English terms with quotations",
        "en:Category theory"
      ],
      "examples": [
        {
          "ref": "2015, Serge Bouc, Jacques Thévenaz, “The representation theory of finite sets and correspondences”, in arXiv",
          "text": "Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A functor such that all of the objects it maps are mapped by the parent functor, and for any arrow it maps the parent functor includes the same mapping (although it may also map arrows from the same domain to additional images outside the image of the subfunctor)."
      ],
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "functor",
          "functor"
        ]
      ],
      "raw_glosses": [
        "(category theory) A functor such that all of the objects it maps are mapped by the parent functor, and for any arrow it maps the parent functor includes the same mapping (although it may also map arrows from the same domain to additional images outside the image of the subfunctor)."
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "subfunctor"
      ]
    }
  ],
  "word": "subfunctor"
}