Help | |
Home - Pure And Applied Math - Categorical Algebra And Logic (Books) |
1-15 of 15 |
click price to see details click image to enlarge click link to go to the store
1. Handbook of Categorical Algebra: Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Applications) (v. 1) by Francis Borceux | |
Paperback: 364
Pages
(2008-04-24)
list price: US$70.00 -- used & new: US$54.58 (price subject to change: see help) Asin: 0521061199 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
2. Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics) by J. Adámek, J. Rosický, E. M. Vitale | |
Hardcover: 265
Pages
(2010-12-31)
list price: US$80.00 -- used & new: US$72.60 (price subject to change: see help) Asin: 0521119227 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
3. Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) by Jaap van Oosten | |
Hardcover: 328
Pages
(2008-04-24)
list price: US$166.00 -- used & new: US$132.80 (price subject to change: see help) Asin: 0444515844 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
author's description |
4. Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) by Silvio Ghilardi, M. Zawadowski | |
Hardcover: 254
Pages
(2002-07-31)
list price: US$159.00 -- used & new: US$64.22 (price subject to change: see help) Asin: 1402006608 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
5. Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs | |
Hardcover: 780
Pages
(2001-05-24)
list price: US$124.00 -- used & new: US$99.20 (price subject to change: see help) Asin: 0444508538 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
Excellent book. |
6. Goguen Categories: A Categorical Approach to L-fuzzy Relations (Trends in Logic) by Michael Winter | |
Paperback: 208
Pages
(2010-11-02)
list price: US$149.00 -- used & new: US$149.00 (price subject to change: see help) Asin: 9048175542 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations. |
7. Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory (Encyclopedia of Mathematics and its Applications) | |
Hardcover: 440
Pages
(2003-11-03)
list price: US$149.99 -- used & new: US$63.14 (price subject to change: see help) Asin: 0521834147 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
8. Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) by Silvio Ghilardi, M. Zawadowski | |
Paperback: 254
Pages
(2010-11-02)
list price: US$159.00 -- used & new: US$159.00 (price subject to change: see help) Asin: 9048160367 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts: existence of model completions, amalgamability, Beth definability, interpretability of second order quantifiers and uniform interpolation, definability of dual connectives like difference, projectivity, etc. are among the numerous topics which are covered. Dualities and sheaf representations are the main techniques in the book, together with Ehrenfeucht-Fraissé games and bounded bisimulations. The categorical instruments employed are rich, but a specific extended Appendix explains to the reader all concepts used in the text, starting from the very basic definitions to what is needed from topos theory. Audience: The book is addressed to a large spectrum of professional logicians, from such different areas as modal logics, categorical and algebraic logic, model theory and universal algebra. |
9. Categorical Closure Operators by Gabriele Castellini | |
Hardcover: 200
Pages
(2003-05-15)
list price: US$89.95 -- used & new: US$74.69 (price subject to change: see help) Asin: 0817642501 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description The first part of the book deals with the general theory, starting with basic definitions and gradually moving to more advanced properties. The second part includes applications to the classical concepts of epimorphisms, separation, compactness and connectedness. Every chapter ends with exercises. A comprehensive list of references for the reader who wants to consult original works, and a good index complete the book. Categorical Closure Operators is self-contained and can be considered as a graduate level text for topics courses in algebra, topology or category theory. The book appeals mainly to graduate students and researchers in categorical topology, and to those interested in categorical methods applied to the most common concrete categories. The reader is expected to have some basic knowledge of algebra, topology and category theory, however, all recurrent categorical concepts are included in a preliminary chapter. |
10. Categorical Topology | |
Hardcover: 280
Pages
(1996-06-30)
list price: US$190.00 -- used & new: US$189.99 (price subject to change: see help) Asin: 0792340493 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
11. Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science) | |
Paperback: 350
Pages
(1989-11-14)
list price: US$71.95 -- used & new: US$57.58 (price subject to change: see help) Asin: 3540517227 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
12. 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 | |
Hardcover: 320
Pages
(2008-12-05)
list price: US$199.00 -- used & new: US$157.91 (price subject to change: see help) Asin: 1402093837 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane s work in the early 1940 s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics. From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists. |
13. Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek, P. J. Scott | |
Hardcover: 305
Pages
(1986-07-25)
list price: US$54.50 -- used & new: US$178.95 (price subject to change: see help) Asin: 0521246652 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
This is definitely Higher! |
14. Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications) by D. Dikranjan, Walter Tholen | |
Hardcover: 376
Pages
(1995-10-31)
list price: US$139.00 -- used & new: US$129.50 (price subject to change: see help) Asin: 0792337727 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
15. Categorical Perspectives (Trends in Mathematics) | |
Hardcover: 296
Pages
(2001-04-27)
list price: US$110.00 -- used & new: US$75.14 (price subject to change: see help) Asin: 0817641866 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
1-15 of 15 |