Transactions of the American Mathematical Society · 1945 · 569 citations · 1 references
Natural SciencesMathematicsSet TheoryCategory TheoryEquivalence CheckingPredicate LogicEquivalences Of CategoriesLogical EquivalenceSemantic EquivalenceSet EquivalenceSyntactic Equivalence
Eilenberg and MacLane's paper 'General theory of natural equivalences' defines CATEGORY, FUNCTOR, and NATURAL TRANSFORMATION, thereby giving birth to category theory or theory of naturality.
1
Samuel Eilenberg, Saunders MacLane · Annals of Mathematics · 1942 · 156 citations