Lecture

Equivalence: Natural Isomorphisms and Triangular Identities