foncteur

(Date à préciser) Calque de l’anglais functor, terme utilisé par le philosophe Rudolf Carnap dans un ouvrage de linguistique publié en 1937.

foncteur \fɔ̃k.tœʁ\ masculin

1. (Linguistique) Mot exprimant la relation grammaticale entre les autres mots d’une phrase, comme par exemple les conjonctions, les prépositions, etc.
   • Il me semble que nous trouvons là la raison pour laquelle les foncteurs logiques « tous » et « quelques » sont des bloqueurs forts, ce qui a, nous l’avons vu, des conséquences forts intéressantes pour leurs relations de portée par rapport à la narration. — (Henning Nølke, Linguistique modulaire : de la forme au sens, Peeters Publishers, 1994)
2. (Mathématiques) Application qui permet de définir une relation complexe entre les morphismes des catégories mathématiques tout en préservant la structure interne des catégories prises séparément.
   • Un foncteur ${\displaystyle F:{\mathcal {C}}\to {\mathcal {D}}}$ associe à tout objet et à tout morphisme de la catégorie ${\displaystyle {\mathcal {C}}}$ , un unique objet et un unique morphisme de la catégorie ${\displaystyle {\mathcal {D}}}$ .
3. (Programmation par objets) Entité qui réunit les qualités d’objet et de fonction dans le cadre d’une programmation par objets.
   • Pour cela nous avons besoin d’un objet fonction (on dit parfois fonction objet ou foncteur), c’est-à-dire d’un objet qui se comporte comme une fonction. — (Bjarne Stroustrup, Programmation : Principes et pratique avec C++, Éditeur Pearson Education France, 2010)

Sens linguistique (1) :

• mot grammatical
• mot-outil
• petit mot (Langage enfantin)

Sens mathématique (2) :

• morphisme

• foncteur sur l’encyclopédie Wikipédia
• théorie des catégories sur l’encyclopédie Wikipédia
• Mot-outil sur l’encyclopédie Wikipédia