Why commutative diagrams coincide with equivalent proofs (1982)

by S Mac Lane
Venue:Contemporary Mathematics