Lecture 1: Categories, Functors, & Naturality
Category theory crash course.
Hello Quantum Formalists,
The first Category theory crash course lecture is now available on the course's YouTube playlist https://www.youtube.com/playlist?list=PL6N_Y7ao_aHu6qqIaDVQ24Tqq-J5EtYqb and the problem sheet will be available via https://github.com/quantumformalism/math-lectures/tree/master/category-theory.
There will be a live tutoring/study session next Sunday, with the time to be agreed upon via the course's Discord channel https://discord.com/channels/859568584304754698/1064959453541171260. To be invited to the live session, join our Discord or subscribe to the course https://www.quantumformalism.com/category-theory. If you’re already subscribed to the QF general newsletter, you don’t need to do anything, we’ll send the invitation to everyone 24 hours before!
I encourage you to connect with the course lecturer Brian Hepler on LinkedIn via https://www.linkedin.com/in/brain-helper/ and check out his blog https://brainhelper.wordpress.com/ to learn more about him and his mathematical research interests. Brian will also deliver our upcoming course on Lie Groups & Representations in the summer!
Finally, please feel free to share the course with your network so we can have more people join and learn the fascinating language of Category theory! The subject has made its way to a wide range of computer science applications, including the following:
Functional programming - see this paper co-authored by our friend Benedikt Ahrens. We’re planning a course with Benedikt on formal verification, emphasising functional programming! ;)
Formal verification - see this paper.
Machine learning - see this paper.
Quantum information science see this paper.