Ein systematisches Studium der Kategorietheorie erlaubt uns dann, allgemeine Ergebnisse jeder Art von mathematischen Strukturen aus den Axiomen einer Kategorie zu beweisen.
Ein systematisches Studium der Kategorietheorie ermöglicht es uns, allgemeine Ergebnisse jeder dieser Arten mathematischer Strukturen aus den Axiomen einer Kategorie zu beweisen.