functors background

functors

/ˈfʌŋktərz/

Illustration functors - Image 1

noun

Mot-outil

(grammar) A function word.

Examples :

"Prepositions are examples of functors in English grammar. "

Les prépositions sont des exemples de mots-outils dans la grammaire anglaise.

grammar language linguistics

Illustration functors - Image 1

noun

Objet fonction

A function object.

Examples :

"The calculator app uses different functors, like `add`, `subtract`, `multiply`, and `divide`, to perform various arithmetic operations when you press the buttons. "

L'application calculatrice utilise différents objets fonction, comme `add`, `subtract`, `multiply` et `divide`, pour effectuer diverses opérations arithmétiques lorsque vous appuyez sur les boutons.

computing function technical

Illustration functors - Image 1

noun

Un homomorphisme de catégorie

A category homomorphism; a morphism from a source category to a target category which maps objects to objects and arrows to arrows, in such a way as to preserve domains and codomains (of the arrows) as well as composition and identities.

Examples :

"In the category of categories, mathbb{CAT}, the objects are categories and the morphisms are functors."

Dans la catégorie des catégories, mathbb{CAT}, les objets sont des catégories et les morphismes sont des homomorphismes de catégorie.

math logic computing technical theory