Comment Comment by jcora Do note this won't teach you actual category theory (and shouldn't) parent jcora 5 years ago