A comprehensive reference to category theory for students & researchers in mathematics, computer science, logic, cognitive science, linguistics, & philosophy. Useful for self-study & as a course text, the book
Includes:: all basic definitions & theorems (with full proofs), as well as numerous examples & exercises.