Meaning

1 senses
  1. A functor which maps morphisms from its source to its target category in such a way that the restriction of that mapping to any source hom-set is injective into the corresponding target hom-set.

Forms

plural: faithful functors

See also

neighbours in the dictionary

Dictionary text adapted from Wiktionary (Wiktionary contributors, CC BY-SA 4.0) and Open English WordNet / Princeton WordNet (CC BY 4.0, WordNet License); shared under CC BY-SA 4.0. Example sentences and recordings are credited where they appear.

faithful functor — meaning, examples, forms, synonyms | Krumeto