Page "Functor" Paragraph 18
from
Wikipedia
Formally, a bifunctor is a functor whose domain is a product category.
For example, the Hom functor is of the type C < sup > op </ sup > × C → Set.
Page 1 of 1.
1.811 seconds.