Samuel Eilenberg • Saunders Mac LaneGeneral theory of natural equivalences10.2307/1990284in Transactions of the american mathematical society