Bifuntor

Dada una categoría ${\displaystyle Cat}$ definimos el bifuntor como el morfismo ${\displaystyle \square :Cat\times Cat\to Cat}$, dado por ${\displaystyle (a,b)\mapsto a\square b}$ o simplemente ${\displaystyle ab}$, siendo ${\displaystyle a,b}$ objetos y la cual satisface que ${\displaystyle a\square b\in Cat}$.

Un ejemplo muy conocido es cuando las categorías son espacios vectoriales y el bifuntor está dado por el tensor ${\displaystyle \otimes }$.

1. Mac Lane, S. (1971) <<Categories for the working mathematician>>, Second Edition. Springer, University of Chicago, USA.