Irene Papakonstantinou’s category theory notesI love functional programming, […] and developing intuition behind complex topics. Thus G [some group] is a category with one object, in which every arrow is an isomorphism.#category-theory#irene-papakonstantinou#notes·generalabstractnonsense.com·Oct 11, 2019Irene Papakonstantinou’s category theory notes
