bifunctor

/B IH1 F AH1 NG K T ER0/
noun
  1. 1

    (category theory) A functor whose domain is a product of categories.

  2. 2

    (category theory) The analog to a functor in a bicategory.