Abstract and Concrete Categories: The Joy of Cats
by Jiri Adamek, Horst Herrlich, George Strecker
Publisher: John Wiley & Sons 1990
Number of pages: 496
A modern introduction to the theory of structures via the language of category theory. Unique to this book is the emphasis on concrete categories. Also noteworthy is the systematic treatment of factorization structures, which gives a new, unifying perspective to earlier work and summarizes recent developments. Each categorical notion is accompanied by many examples, usually moving from special cases to more general cases. Comprises seven chapters; the first five present the basic theory, while the last two contain more recent research results in the realm of concrete categories, cartesian closed categories and quasitopoi. The prerequisite is an elementary knowledge of set theory. Contains exercises.
Home page url
Download or read it online for free here:
by D.E. Rydeheard, R.M. Burstall
The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.
by Jacob Lurie - Princeton University Press
Jacob Lurie presents the foundations of higher category theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
by Daniele Turi - University of Edinburgh
These notes were written for a course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.
by Marc Levine - American Mathematical Society
This book combines foundational constructions in the theory of motives and results relating motivic cohomology to more explicit constructions. Prerequisite for understanding the work is a basic background in algebraic geometry.