Notes from John Baez's online Category Theory course on Azimuth (https://forum.azimuthproject.org/categories/applied-category-theory-course) - View it on GitHub