English Explanatory Dictionary

subfunctor

English dictionary entry

Meanings

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

Word forms

subfunctor subfunctors

Etymology

From sub- + functor.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on S Russian dictionary Dahl dictionary