
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)



Conceptual Mathematics: A First Introduction to Categories



From Mathematics to Generic Programming



Topos Theory (Dover Books on Mathematics)



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)



Categories and Computer Science (Cambridge Computer Science Texts)



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



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

