Foncteur Hom

Soit ${\displaystyle {\mathcal {C}}}$ une catégorie localement petite. Pour tout couple d'objets A et B dans cette catégorie, un morphisme ${\displaystyle f:A\to B}$ induit une fonction

${\displaystyle f\circ -:\mathrm {Hom} (X,A)\to \mathrm {Hom} (X,B)}$

pour tout objet X.

On peut alors définir :

• le foncteur Hom covariant ${\displaystyle \mathrm {Hom} (X,-):{\mathcal {C}}\to {\mathsf {Set}}}$ (correspondant aux foncteurs représentables) ;
• le foncteur Hom contravariant ${\displaystyle \mathrm {Hom} (-,X):{\mathcal {C}}^{\mathrm {op} }\to {\mathsf {Set}}}$ ;
• le bifoncteur Hom covariant ${\displaystyle \mathrm {Hom} (-,-):{\mathcal {C}}^{\mathrm {op} }\times {\mathcal {C}}\to {\mathsf {Set}}.}$

Le lemme de Yoneda caractérise la forme des transformations naturelles entre foncteurs Hom.

Certains catégories possèdent un bi-foncteur similaire à Hom, mais ayant la catégorie elle-même pour codomaine :

${\displaystyle [-,-]:{\mathcal {C}}^{\mathrm {op} }\times {\mathcal {C}}\to {\mathcal {C}}.}$

On parle dans ce cas de foncteur Hom interne et on dit qu'il s'agit d'une catégorie fermée. Le foncteur d'oubli permet de retrouver le foncteur Hom « externe » à partir du foncteur Hom interne, ce qui correspond à l'opération de curryfication sur une catégorie monoïdale fermée (en).

(en) Saunders Mac Lane, Categories for the Working Mathematician [détail de l’édition]

• Portail des mathématiques