Ein systematisches Studium der Kategorietheorie ermöglicht es uns, allgemeine Ergebnisse jeder dieser Arten mathematischer 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.