Bifuntor
# Bifuntor

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.

## Definición

Dada una categoría $Cat$ definimos el bifuntor como el morfismo $\square :Cat\times Cat\to Cat$, dado por $(a,b)\mapsto a\square b$ o simplemente $ab$, siendo $a,b$ objetos y la cual satisface que $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 $\otimes$.

## Bibliografía

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