Describes the concepts of category, functor, natural transformation, & duality. This book focuses on adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, & a means of manipulating direct & inverse limits.