Hom funktor
Hom funktor je kovariantní bifunktor 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 tedy kovariantní bifunktor .
Portály: Matematika
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.