**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 |