Formalizing concepts and solving exercises from "Category Theory" by Steve Awodey
Primary LanguageLean