Basic notions of category theory, and what’s to come

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:

Leave a Comment

Your email address will not be published. Required fields are marked *