También hay muchos funtores desde la categoría cuadrada conmutativa C hasta la categoría cuadrada libre F, pero ninguno que envíe A a A′, B a B ′, C a C ′ y D a D ′. La razón es que si F fuera tal fun...También hay muchos funtores desde la categoría cuadrada conmutativa C hasta la categoría cuadrada libre F, pero ninguno que envíe A a A′, B a B ′, C a C ′ y D a D ′. La razón es que si F fuera tal functor, entonces desde f; h = g; i en C, tendríamos F (f; h) = F (g; i), pero entonces las reglas de los funtores harían razonemos de la siguiente manera:
