These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific...
I 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.