GitHub repository: technicalguy/acs-category-theory-notes-2017
Primary language: TeX
Description: Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.