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 <math>F : \mathcal C\to\mathcal D</math> associe à tout objet et à tout morphisme de la catégorie <math>\mathcal C</math>, un unique objet et un unique morphisme de la catégorie <math>\mathcal D</math>.
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.