Si definimos una función tal que a los objetos de una determinada categoría F le correspondan los objetos de otra categoría T hemos de especificar también que a los morfismos asociados a cada par de la primera le correspondan los morfismos asociados al correspondiente par de la segunda. Se trata, por tanto, de definir dos funciones, una que establezca la correspondencia entre los objetos (función-objeto) y otra que establezca la correspondencia entre los morfismos asociados a cada par ordenado de la primera y los morfismos asociados al correspondiente par ordenado de la segunda (función-morfismo). Vemos aqui como el producto tensorial se puede establecer de este modo.

27 septiembre 2014