bifunctor noun2 •A functor whose domain is a product of categories. •The analog to a functor in a bicategory. formsbifunctors