Etymology
Today it means: A functor whose domain is a product of categories. Full definition →
From bi- + functor.
Etymology from Wiktionary, CC BY-SA 4.0.