foncteur

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