Category Theory

A tour of the definition of a category along with some examples. We also sketch out notions such as isomorphism, monic, subobject, initial, terminal, product, and functor.