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 Eugenia Cheng, Aaron Lauda - University of Sheffield
This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.
by P. J. Higgins - Van Nostrand Reinhold
A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.
by Paul Goerss, Kristen Schemmerhorn - Northwestern University
There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.
by Jaap van Oosten - University of Utrecht
Contents: Categories and Functors; Natural transformations; (Co)cones and (Co)limits; A little piece of categorical logic; Adjunctions; Monads and Algebras; Cartesian closed categories and the lambda-calculus; Recursive Domain Equations.