object language category theory used formalize concepts high level abstractions sets rings groups informally category theory general theory functions several terms used category theory including term morphism used differently uses rest mathematics category theory morphisms obey conditions specific category theory samuel eilenberg saunders mac lane introduced concepts categories functors natural transformations study algebraic topology goal understanding processes preserve mathematical structure category
Formal science Mathematics Pure mathematics Algebra Category theory