noun
Meaning 1
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).
Definition source: English Wiktionary via Wiktextract
Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided