Foncteur

Un foncteur transforme objets et morphismes d'une catégorie en objets et morphismes dans une autre catégorie .

En mathématiques, plus précisément en théorie des catégories, un foncteur est une construction transformant les objets et morphismes d'une catégorie en ceux d'une autre catégorie, d'une façon compatible[1]. On parle alors d'une construction fonctorielle ou de fonctorialité. Une telle construction est donc un morphisme entre deux catégories.

  1. (en) Emily Riehl, Category Theory in Context [détail de l’édition] (lire en ligne), p. xii.

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne