F W Lawvere

AN ELEMENTARY THEORY OF THE CATEGORY OF SETS.

F W Lawvere, F. W. Lawvere, F. Lawvere, 1964, Proceedings of the National Academy of Sciences of the United States of America.