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 Kategorientheorie ermöglicht es uns dann, mathematische Ergebnisse jeder dieser Arten von allgemeinen Strukturen aus den Axiomen einer Kategorie zu beweisen.