Infinity category theory from scratch, Emily Riehl's lecture 4

4, Young Topologists Meeting conference lectures