Subfunctor
Definition, Meaning & Examples
Part of speech noun
Quick meaning: Subfunctor is a noun meaning (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).
Meaning
(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).
Example Sentences
Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.
Word Forms
- subfunctors
Related Words
Related dictionary entries include functor, endofunctor, subcategory, overfunctor, pseudofunctor, semifunctor.
Related Dictionary Tools
Sources & Attribution
FreeDictionaryAPI.com / Wiktionary · Original source · CC BY-SA 4.0
Dictionary data is provided by FreeDictionaryAPI.com and sourced from Wiktionary under its stated license.