Categories for the Working Philosopher

NOTE EDITORE

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.

SOMMARIO

1 - The Roles of Set Theories in Mathematics2 - Reviving the Philosophy of Geometry3 - Homotopy Type Theory: A synthetic approach to higher equalities4 - Structuralism, Invariance, and Univalence5 - Category Theory and Foundations6 - Canonical Maps7 - Categorical Logic and Model Theory8 - Unfolding FOLDS: A Foundational Framework for Abstract Mathematical Concepts9 - Categories and Modalities10 - Proof Theory of the Cut Rule11 - Contextuality: At the Borders of Paradox12 - Categorical Quantum Mechanics I: Causal Quantum Processes13 - Category Theory and the Foundations of Classical Spacetime Theories14 - Six-dimensional Lorentz Category15 - Applications of Categories and Biology and Cognition16 - Categories as Mathematical Models17 - Categories of Scientific Theories18 - Structural Realism and Category Mistakes

AUTORE

Elaine Landry is professor of philosophy at the University of California, Davis. Her research spans three broad areas within Philosophy of Science: history and philosophy of mathematics, history and philosophy of science, and Plato's philosophy of mathematics. She is one of few philosophers who works on building bridges between all of these areas of research. Her papers are referenced in the Stanford Encyclopaedia of Philosophy (SEP) under the entries for both "Category Theory" and "Structural Realism"

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9780198878049
• Dimensioni: 235 x 26.0 x 155 mm Ø 740 gr
• Formato: Brossura
• Pagine Arabe: 496