NPTEL Video Course : NOC:Category Theory

Lecture 11 - Adjunctions - III Triangular identities