34 - Eugenia Cheng, Category theory

Duration: 09:21