'Un estudi sistemàtic de la teoria de categories ens permet demostrar resultats matemàtics sobre qualsevol d'aquests tipus d'estructures generals a partir dels axiomes d'una categoria .'
'Un estudi sistemàtic de la teoria de categories ens permet demostrar resultats matemàtics sobre tots aquests tipus d'estructures generals a partir dels axiomes d'una categoria .'