Dictionaries › English

subfunctor

The English word “subfunctor” has 1 meaning listed here.

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

Etymology

From sub- + functor.

Keep exploring: in the interactive dictionary every word of a definition is a link. Open “subfunctor” there

More English words

About this dictionary

The English dictionary on Glottosphere has 650,529 entries with a page. Browse the English dictionary.

Definitions are from Wiktionary, extracted by Kaikki.org, and are available under the CC BY-SA 4.0 licence.