En Teoría de Categorías un bifuntor o bifunctor es un funtor con un producto cartesiano de dos categorías como dominio y la cual es cerrada bajo la categoría.
El término es el análogo categórico de operación binaria en álgebra abstracta.
definimos el bifuntor como el morfismo
objetos y la cual satisface que
Un ejemplo muy conocido es cuando las categorías son espacios vectoriales y el bifuntor está dado por el tensor