Quantum Formalism

Share this post

Lecture 1: Categories, Functors, & Naturality

quantumformalism.substack.com

Lecture 1: Categories, Functors, & Naturality

Category theory crash course.

Bambordé Baldé
Mar 7, 2023
Share

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:

  1. 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! ;)

  2. Formal verification - see this paper.

  3. Machine learning - see this paper.

  4. Quantum information science see this paper.

Many thanks,

Bambordé

{Twitter} {LinkedIn} 

Share
Previous
Next
Comments
Top
New
Community

No posts

Ready for more?

© 2023 Zaiku Group
Privacy ∙ Terms ∙ Collection notice
Start WritingGet the app
Substack is the home for great writing