Hom funktor

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání

Hom funktor je funktor v lokálně malé kategorii typu definovaný pro takto:

je kovariantní a pro je funkce , kde .

Podobně je kontravariantní a pro je funkce , kde .

je kovariantní bifunktor .