біфунктор

1. У теорії категорій — функтор, арність якого дорівнює двом; функтор, що відображає добуток двох категорій у третю категорію.