Categories for AI 2: Essential building blocks: Categories and Functors - Petar Veličković

Motivated by the recent emergence of category theory in machine learning, we teach a course on its philosophy, applications and outlook from the perspective of machine learning!
Sign up for the course at: https://cats.for.ai/

In the second seminar, you will:
Understand the key building blocks of categories: objects, morphisms and functors.
Leverage these concepts to explain several standard mathematical constructs: sets, relations, and groups.
Get comfortable manipulating these concepts through several worked exercises.
Ground all of the above in relevant deep learning context, with links to functional programming.
Show how we can build an effective "type checker" for deep learning using the category of sets.

These lectures will help explain key parts of Graph Neural Networks are Dynamic Programmers (NeurIPS 2022) https://arxiv.org/abs/2203.15544