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.