๐Ÿ“Bifunctor

Bifunctor (short for binary functor) or functor of two variables is a Functor whose domain is the product of two categories.

For C1C_1, C2C_2 and DD categories, a functor F:C1ร—C2โ†’DF : C_1 \times C_2 \to D is also called a bifunctor from C1C_1 and C2C_2 to DD.

See also:

Backlinks

โฆ
Want to receive my ๐Ÿ–‹ posts as I publish them?