GENERAL ABSTRACT NONSENSE

Abstract. In this paper, we seek to understand limits, a unifying notion that brings together the ideas of pullbacks, products, and equalizers. To do this, we will build up the basic framework of category theory, starting from the definition of a category. With this done, we will define pullbacks, products, and equalizers, and we will close this paper by showing two results: first, that having products and equalizers is equivalent to having pullbacks and a terminal object, and second, that having all finite limits is equivalent to havin