This first post is a basic introduction to the notion of a category, and accompanying definitions: objects, morphisms, functors, equivalences, natural transformations, and universal properties! Hope you enjoy! Here are the commutative diagrams which encode the axioms of a category: