English edit

Etymology edit

bi- +‎ functor

Noun edit

bifunctor (plural bifunctors)

  1. (mathematics) A functor between bicategories