Tutorial on Category Theory: Part 1 – Pure and Classical

This is a tutorial on category theory for the May 2021 workshop Finding the Right Abstractions hosted by Topos Institute.