Esta llamadas, categorías de funtores.