Dada una categoría formula_1, entre sus objetos iniciales/finales hay un único isomorfismo.