🇬🇧 en sv 🇸🇪

functor noun

  /ˈfʌŋktə/
  • (category theory) A category homomorphism; a morphism from a source category to a target category which maps objects to objects and arrows to arrows (either covariantly or contravariantly), in such a way as to preserve morphism composition and identities.
funktor
Wiktionary Links