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