Ein systematisches Studium der Kategorietheorie erlaubt es uns, mathematische Ergebnisse über beliebige dieser allgemeinen 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.