BeDict Logo

functor

/ˈfʌŋktə/
Illustration visuelle de functor: Un foncteur, un homomorphisme de catégories
noun

Dans la catégorie des catégories, mathbb{CAT}, les objets sont des catégories et les morphismes sont des foncteurs.