 Handbook of Categorical Algebra: Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Applications) (v. 1) by Francis Borceux, 20080424
 Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics) by J. Adámek, J. Rosický, et all 20101231
 Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) by Jaap van Oosten, 20080424
 Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) by Silvio Ghilardi, M. Zawadowski, 20020731
 Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs, 20010524
 Goguen Categories: A Categorical Approach to Lfuzzy Relations (Trends in Logic) by Michael Winter, 20101102
 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, 20101102
 Categorical Closure Operators by Gabriele Castellini, 20030515
 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 JeanPierre Marquis, 20081205
 Introduction to HigherOrder Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek, P. J. Scott, 19860725
 Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications) by D. Dikranjan, Walter Tholen, 19951031
