foncteur

Définitions

1. Mot exprimant la relation grammaticale entre les autres mots d’une phrase, comme par exemple les conjonctions, les prépositions, etc.
2. 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.
3. Entité qui réunit les qualités d’objet et de fonction dans le cadre d’une programmation par objets.

Équivalents

Exemples

“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.”

“Un foncteur F:𝒞→𝒟 associe à tout objet et à tout morphisme de la catégorie 𝒞, un unique objet et un unique morphisme de la catégorie 𝒟.”

“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.”

Niveau CECR