Anton Christenson: Introduction to Category Theory

Abstract

We will cover the basic definitions of category theory and look at many examples of categories. To exemplify the central concept of universal properties we will unpack the categorical definition of products, and see how this relates to other kinds of products we may be familiar with.