subfunctor

S1U1B3F4U1N1C3T1O1R1

noun

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).

Scrabble 17
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounsubfunctor (plural subfunctors)

plural subfunctors

  1. category theoryA 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).

    Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.

    2015, Serge Bouc, Jacques Thévenaz, “The representation theory of finite sets and correspondences”, in arXiv

Origin

From sub- + functor.

Full word history & related roots →
Cite this entry
APA

subfunctor. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/subfunctor

MLA

“subfunctor.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/subfunctor. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “subfunctor,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/subfunctor.

Source: subfunctor on Wiktionary, CC BY-SA 4.0.