Why commutative diagrams coincide with equivalent proofs

• 1 January 1982
• other
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 13, 387-401
• https://doi.org/10.1090/conm/013/685975

Abstract