Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- 510.6 --- Model theory. --- Toposes. --- 510.6 Mathematical logic --- Model theory --- Toposes --- Théorie des modèles --- Logique algébrique --- Topos (mathématiques) --- Algebraic logic --- Logique algébrique. --- Topos (mathématiques) --- Algebraic logic. --- Logique mathématique --- Catégories (mathématiques)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In the last fifty years, the use of the notion of 'category' has led to a remarkable unification and simplification of mathematics. Written by two of the best known participants in this development, Conceptual Mathematics is the first book to serve as a skeleton key to mathematics for the general reader or beginning student and as an introduction to categories for computer scientists, logicians, physicists, linguists etc. While the ideas and techniques of basic category theory are useful throughout modern mathematics, this book does not presuppose knowledge of specific fields but rather develops elementary categories such as directed graphs and discrete dynamical systems from the beginning. The fundamental ideas are then illuminated in an engaging way by examples in these categories.

Categories (Mathematics).