https://www.youtube.com/c/RichardSouthwell/playlists
Там есть плейлист Category Theory For Beginners.
Изложение довольно медленное, понятное и подробное (возможно кому-то покажется слишком медленное).
Очень понравилось видео про Universal Properties, наконец-то начал понимать немного.
У автора этих видео еще и книжка есть по теории категорий "Categories and Toposes: Visualized and Explained"
P.S. Не спрашивайте зачем это нужно, just for fun.