Provides an array of general ideas useful in a wide variety of fields. This book illuminates the concepts of category, functor, natural transformation, and duality. This edition includes a number of revisions and additions, including two new chapters on - symmetric monoidal categories and braided monoidal categories and the coherence theorems for them, and 2-categories and the higher dimensional categories which have recently come into prominence.