Claramente, la identidad es un formula_1-morfismo y la composición de dos formula_1-morfismos es un formula_1- morfismo.