Categories for the Working Philosopher


Book Description

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a range of philosophical interests: mathematics, proof theory, computation, cognition, scientific modelling, physics, ontology, the structure of the world. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, in an accessible waythat builds on the concepts that are already familiar to philosophers working in these areas.




Categories for the Working Philosopher


Book Description

Often people have wondered why there is no introductory text on category theory aimed at philosophers working in related areas. The answer is simple: what makes categories interesting and significant is their specific use for specific purposes. These uses and purposes, however, vary over many areas, both "pure", e.g., mathematical, foundational and logical, and "applied", e.g., applied to physics, biology and the nature and structure of mathematical models. Borrowing from the title of Saunders Mac Lane's seminal work "Categories for the Working Mathematician", this book aims to bring the concepts of category theory to philosophers working in areas ranging from mathematics to proof theory to computer science to ontology, from to physics to biology to cognition, from mathematical modeling to the structure of scientific theories to the structure of the world. Moreover, it aims to do this in a way that is accessible to non-specialists. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, and in a way that builds on the concepts that are already familiar to philosophers working in these areas.




Categories for the Working Philosopher


Book Description

Often people have wondered why there is no introductory text on category theory aimed at philosophers working in related areas. The answer is simple: what makes categories interesting and significant is their specific use for specific purposes. These uses and purposes, however, vary over many areas, both pure, e.g., mathematical, foundational and logical, and applied, e.g., applied to physics, biology and the nature and structure of mathematical models. Borrowing from the title of Saunders Mac Lane's seminal work Categories for the Working Mathematician, this book aims to bring the concepts of category theory to philosophers working in areas ranging from mathematics to proof theory to computer science to ontology, from to physics to biology to cognition, from mathematical modeling to the structure of scientific theories to the structure of the world. Moreover, it aims to do this in a way that is accessible to non-specialists. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, and in a way that builds on the concepts that are already familiar to philosophers working in these areas.




From a Geometrical Point of View


Book 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.




Categories, Types, and Structures


Book Description

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programmes using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.




Conceptual Mathematics


Book Description

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.




Principia Mathematica


Book Description




Aristotle and the Arabic Tradition


Book Description

Examines Aristotle's vast influence upon the medieval Arabic philosophical tradition and includes contributions from every discipline within his corpus.




Aristotle's Theory of Bodies


Book Description

Christian Pfeiffer explores an important, but neglected topic in Aristotle's theoretical philosophy: the theory of bodies. A body is a three-dimensionally extended and continuous magnitude bounded by surfaces. This notion is distinct from the notion of a perceptible or physical substance. Substances have bodies, that is to say, they are extended, their parts are continuous with each other and they have boundaries, which demarcate them from their surroundings. Pfeiffer argues that body, thus understood, has a pivotal role in Aristotle's natural philosophy. A theory of body is a presupposed in, e.g., Aristotle's account of the infinite, place, or action and passion, because their being bodies explains why things have a location or how they can act upon each other. The notion of body can be ranked among the central concepts for natural science which are discussed in Physics III-IV. The book is the first comprehensive and rigorous account of the features substances have in virtue of being bodies. It provides an analysis of the concept of three-dimensional magnitude and related notions like boundary, extension, contact, continuity, often comparing it to modern conceptions of it. Both the structural features and the ontological status of body is discussed. This makes it significant for scholars working on contemporary metaphysics and mereology because the concept of a material object is intimately tied to its spatial or topological properties.




Thinking about Mathematics


Book Description

Thinking about Mathematics covers the range of philosophical issues and positions concerning mathematics. The text describes the questions about mathematics that motivated philosophers throughout history and covers historical figures such as Plato, Aristotle, Kant, and Mill. It also presents the major positions and arguments concerning mathematics throughout the twentieth century, bringing the reader up to the present positions and battle lines.