Saya mau tau Bifunctor dan multifunctor dari Fungtor

Bifungtor (juga dikenal sebagai fungtor biner) adalah fungtor yang ranahnya adalah kategori produk. Misalnya, fungtor Hom adalah tipe . Ini dapat dilihat sebagai fungtor dalam argumen dua. Fungtor Hom adalah contoh alami; itu bertentangan dalam satu argumen, kovarian di argumen lain.

Multifungtor adalah generalisasi dari konsep fungtor ke variabel n. Jadi, misalnya, bifungtor adalah multifungtor dengan .