dictionary · eo1.org

full functor

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

  1. {{lb|en|category theory}} A [[functor]] which maps [[morphism]]s from its source to its target category in such a way that the restriction of that mapping to any source [[hom-set]] is surjective into the corresponding target hom-set.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.