Solutions and Notes for Leinster's Basic Category Theorygithub.com/kennyworkman1 pointkennyworkman3 years ago