NPTEL Video Course : NOC:Category Theory

Lecture 12 - Adjunctions - IV General adjoint functor theorem