Se tiene claramente que la composición de morfismos es un morfismo.