Toposes, Triples and Theories
by Michael Barr, Charles Wells
Publisher: Springer-Verlag 2005
Number of pages: 302
As its title suggests, this book is an introduction to three ideas and the connections between them. Chapter 1 is an introduction to category theory which develops the basic constructions in categories needed for the rest of the book. Chapters 2, 3 and 4 introduce each of the three topics of the title and develop them independently up to a certain point. We assume that the reader is familiar with concepts typically developed in first-year graduate courses, such as group, ring, topological space, and so on.
Home page url
Download or read it online for free here:
by Samson Abramsky, Nikos Tzevelekos - arXiv
These notes provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
by Peter Smith - Logic Matters
I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it presupposes rather less mathematical background than some texts on categories.
by Jiri Adamek, Horst Herrlich, George Strecker - John Wiley & Sons
A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.
by Peter Freyd - Harper and Row
From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.