Correction: Universal Property of Quotients requires ker(f) to contain ker(pi)
0:00 Motivation
1:33 Basics in Category Theory
4:14 Group Objects
5:08 Functors
8:17 Universal Properties
11:57 Proof using Category Theory
13:27 Shortcomings of Category Theory