An Introduction to Category Theory

Description

Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.

Harold Simmons is officially retired but still active in research. He also teaches postgraduate courses in the School of Mathematics at the University of Manchester.

"This textbook presents a useful introduction to basic category theory, and would be suitable for a first course at the undergraduate level in computer science or mathematics." Steve Awodey, Mathematical Reviews