
Category Theory for the Sciences (The MIT Press)



Categories for the Working Mathematician (Graduate Texts in Mathematics)



Basic Category Theory (Cambridge Studies in Advanced Mathematics)



Category Theory (Oxford Logic Guides)



An Introduction to Category Theory



Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)



Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths



Basic Category Theory for Computer Scientists (Foundations of Computing)



Topos Theory (Dover Books on Mathematics)



From Mathematics to Generic Programming



Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)



Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies)



Sets, Logic and Categories (Springer Undergraduate Mathematics Series)



Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications)



Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16  20, 1985. Proceedings (Lecture Notes in Computer Science)



Categories and Computer Science (Cambridge Computer Science Texts)



Category Theory: Proceedings of the International Conference Held in Como, Italy, July 2228, 1990 (Lectures Notes in Mathematics, Vol. 1488)

