Samuel Eilenberg et Saunders Mac Lane : a general theory of natural equivalences

Advertisements