Category Theory In Physics Mathematics And Philosophy

The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes. The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations. Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science.

This is the first book on category theory for a broad philosophical readership. There is no other discussion of category theory comparable in its scope. It is designed to show the interest and significant of category theory for philosophers working in a range of areas, including mathematics, proof theory, computer science, ontology, physics, biology, cognition, mathematical modelling, the structure of scientific theories, and the structure of the world. Moreover, it does 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 fields, in a way that builds on the concepts already familiar to philosophers working in these areas. The book is split into two halves. The 'pure' chapters focus on the use of category theory for mathematical, foundational, and logical purposes, while the 'applied' chapters consider the use of category theory for representational purposes, investigating category theory as a framework for theories of physics and biology, for mathematical modelling more generally, and for the structure of scientific theories. Book jacket.

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.

A short introduction ideal for students learning category theory for the first time.

The ambition of this volume is twofold: to provide a comprehensive overview of the field and to serve as an indispensable reference work for anyone who wants to work in it. For example, any philosopher who hopes to make a contribution to the topic of the classical-quantum correspondence will have to begin by consulting Klaas Landsman's chapter. The organization of this volume, as well as the choice of topics, is based on the conviction that the important problems in the philosophy of physics arise from studying the foundations of the fundamental theories of physics. It follows that there is no sharp line to be drawn between philosophy of physics and physics itself. Some of the best work in the philosophy of physics is being done by physicists, as witnessed by the fact that several of the contributors to the volume are theoretical physicists: viz., Ellis, Emch, Harvey, Landsman, Rovelli, 't Hooft, the last of whom is a Nobel laureate. Key features - Definitive discussions of the philosophical implications of modern physics - Masterly expositions of the fundamental theories of modern physics - Covers all three main pillars of modern physics: relativity theory, quantum theory, and thermal physics - Covers the new sciences grown from these theories: for example, cosmology from relativity theory; and quantum information and quantum computing, from quantum theory - Contains special Chapters that address crucial topics that arise in several different theories, such as symmetry and determinism - Written by very distinguished theoretical physicists, including a Nobel Laureate, as well as by philosophers - Definitive discussions of the philosophical implications of modern physics - Masterly expositions of the fundamental theories of modern physics - Covers all three main pillars of modern physics: relativity theory, quantum theory, and thermal physics - Covers the new sciences that have grown from these theories: for example, cosmology from relativity theory; and quantum information and quantum computing, from quantum theory - Contains special Chapters that address crucial topics that arise in several different theories, such as symmetry and determinism - Written by very distinguished theoretical physicists, including a Nobel Laureate, as well as by philosophers

Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.

The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics. Is mathematics merely another natural science? Or is it the result of human creativity? Does physics simply wear mathematics like a costume, or is math the lifeblood of physical reality? The nineteen wide-ranging, highly imaginative and often entertaining essays are enhanced versions of the prize-winning entries to the FQXi essay competition “Trick or Truth”, which attracted over 200 submissions. The Foundational Questions Institute, FQXi, catalyzes, supports, and disseminates research on questions at the foundations of physics and cosmology, particularly new frontiers and innovative ideas integral to a deep understanding of reality, but unlikely to be supported by conventional funding sources.

Category theory is a general mathematical theory of structures and of structures of structures. This book describes the history of category theory whereby illuminating its symbiotic relationship to algebraic topology, homological algebra, algebraic geometry and mathematical logic and develops the connections with the epistemological significance.