sentence1: Une étude systématique de la théorie des catégories nous permet ensuite de démontrer des résultats généraux sur l’un quelconque de ces types de structures mathématiques à partir des axiomes d’une catégorie.
sentence2: Une étude systématique de la théorie des catégories permet ensuite de démontrer des résultats mathématiques sur tous ces types de structures générales à partir des axiomes d'une catégorie.