General Theory of Natural Equivalences 论文

1945Transactions of the American Mathematical Society引用 569
Computability, Logic, AI Algorithms

摘要

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.