Categorical Foundations : Special Topics in Order, Topology, Algebra, and Sheaf Theory

[Ionel <***>]

Tim:

Another good book on category theory is the brand new (2004):

Categorical Foundations : Special Topics in Order, Topology, Algebra, and
Sheaf [Hardcover]
By: Maria Cristina Pedicchio (Editor), Walter Tholen (Editor)
 (~$70 new).

Amongst a great deal of fundamental logical stuff it has a well-developed
section on the category of relations, including Adjoint Relations and
Adjunctions in general; it also introduces the Topos axioms, Sheaves,
Algebraic Categories in a large , significant section, Heyting and complete
Heyting Algebras and Logics. It's an interesting combination of advanced
category theory and clearly written introductory sections. It pays special
attention to Topology and generalized topology. I am happy to have bought
this book along with J.P. May's out-of-print affordable "Concise
Topological Algebra" (one can also obtain/ download the latter for free
from  Professor J.P. May's own site at the University of Chicago.)

Regards,
Ionel