- Handbook of Categorical Algebra: Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Applications) (v. 1) by Francis Borceux,  2008-04-24
 - Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics) by J. Adámek, J. Rosický, et all  2010-12-31
 - Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) by Jaap van Oosten,  2008-04-24
 - Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) by Silvio Ghilardi, M. Zawadowski,  2002-07-31
 - Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs,  2001-05-24
 - Goguen Categories: A Categorical Approach to L-fuzzy Relations (Trends in Logic) by Michael Winter,  2010-11-02
 - Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory (Encyclopedia of Mathematics and its Applications) 
 - Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) by Silvio Ghilardi, M. Zawadowski,  2010-11-02
 - Categorical Closure Operators by Gabriele Castellini,  2003-05-15
 - Categorical Topology 
 - Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science) 
 - From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science) by Jean-Pierre Marquis,  2008-12-05
 - Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek, P. J. Scott,  1986-07-25
 - Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications) by D. Dikranjan, Walter Tholen,  1995-10-31
   |