Los morfismos en "C" debe completar los triángulos que son diagramas conmutativos, y preservar identidad multiplicativa.