faithful functor

/F EY1 TH F AH0 L F AH0 NG K T ER0/
noun
  1. 1

    (category theory) 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.

Translate “faithful functor” into another language

Choose a language below to open the translator with English selected as the source language.

🇪🇸Spanish🇫🇷French🇩🇪German🇸🇦Arabic🇨🇳Chinese Simplified🇯🇵Japanese🇮🇳Hindi🇧🇷Portuguese🇷🇺Russian🇰🇷Korean🇮🇹Italian🇹🇷Turkish
See all 248+ languages
Back to Dictionary