21:18
6 - 1 - Lecture 5-1 - Intro to Categorical Logic (2118)