NPTEL Video Course : NOC:Category Theory

Lecture 20 - Freyd-Mitchell embedding theorem Homological algebra I Diagram chasing