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.

Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and philosophy of mathematics. But anyone familiar with contemporary philosophy of mathematics will be aware of the need for new approaches that pay closer attention to mathematical practice. This book is the first attempt to give a coherent and unified presentation of this new wave of work in philosophy of mathematics. The new approach is innovative at least in two ways. First, it holds that there are important novel characteristics of contemporary mathematics that are just as worthy of philosophical attention as the distinction between constructive and non-constructive mathematics at the time of the foundational debates. Secondly, it holds that many topics which escape purely formal logical treatment - such as visualization, explanation, and understanding - can nonetheless be subjected to philosophical analysis. The Philosophy of Mathematical Practice comprises an introduction by the editor and eight chapters written by some of the leading scholars in the field. Each chapter consists of short introduction to the general topic of the chapter followed by a longer research article in the area. The eight topics selected represent a broad spectrum of contemporary philosophical reflection on different aspects of mathematical practice: diagrammatic reasoning and representation systems; visualization; mathematical explanation; purity of methods; mathematical concepts; the philosophical relevance of category theory; philosophical aspects of computer science in mathematics; the philosophical impact of recent developments in mathematical physics.

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme and the ways in which new concepts are justified. His inspiring book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines and points clearly to the ways in which this can be done.

In 1918, Emmy Noether, in her paper Invariante Variationsprobleme, proved two theorems (and their converses) on variational problems that went on to revolutionise theoretical physics. 100 years later, the mathematics of Noether's theorems continues to be generalised, and the physical applications of her results continue to diversify. This centenary volume brings together world-leading historians, philosophers, physicists, and mathematicians in order to clarify the historical context of this work, its foundational and philosophical consequences, and its myriad physical applications. Suitable for advanced undergraduate and graduate students and professional researchers, this is a go-to resource for those wishing to understand Noether's work on variational problems and the profound applications which it finds in contemporary physics.

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.

To properly understand the nature of the digital economy we need to investigate the phenomenon of a "ubiquitous computing system" (UCS). As defined by Robin Milner, this notion implies the following characteristics: (i) it will continually make decisions hitherto made by us; (ii) it will be vast, maybe 100 times today’s systems; (iii) it must continually adapt, on-line, to new requirements; and, (iv) individual UCSs will interact with one another. This book argues that neoclassical approaches to modelling economic behaviour based on optimal control by "representative-agents" are ill-suited to a world typified by concurrency, decentralized control, and interaction. To this end, it argues for the development of new, process-based approaches to analysis, modelling, and simulation. The book provides the context—both philosophical and mathematical—for the construction and application of new, rigorous, and meaningful analytical tools. In terms of social theory, it adopts a Post-Cognitivist approach, the elements of which include the nature philosophy of Schelling, Marx’s critique of political economy, Peircean Pragmatism, Whitehead’s process philosophy, and Merleau-Ponty’s phenomenology of the flesh, along with cognitive scientific notions of embodied cognition and neural Darwinism, as well as more questionable notions of artificial intelligence that are encompassed by the rubric of "perception-and-action-without-intelligence".

Through both an historical and philosophical analysis of the concept of possibility, we show how including both potentiality and actuality as part of the real is both compatible with experience and contributes to solving key problems of fundamental process and emergence. The book is organized into four main sections that incorporate our routes to potentiality: (1) potentiality in modern science [history and philosophy; quantum physics and complexity]; (2) Relational Realism [ontological interpretation of quantum physics; philosophy and logic]; (3) Process Physics [ontological interpretation of relativity theory; physics and philosophy]; (4) on speculative philosophy and physics [limitations and approximations; process philosophy]. We conclude that certain fundamental problems in modern physics require complementary analyses of certain philosophical and metaphysical issues, and that such scholarship reveals intrinsic features and limits of determinism, potentiality and emergence that enable, among others, important progress on the quantum theory of measurement problem and new understandings of emergence.

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.

Was the first book to examine the exciting area of overlap between philosophy and quantum mechanics with chapters by leading experts from around the world.

A comprehensive, cutting-edge, and highly readable textbook that makes category theory and monoidal category theory accessible to students across the sciences. Category theory is a powerful framework that began in mathematics but has since expanded to encompass several areas of computing and science, with broad applications in many fields. In this comprehensive text, Noson Yanofsky makes category theory accessible to those without a background in advanced mathematics. Monoidal Category Theorydemonstrates the expansive uses of categories, and in particular monoidal categories, throughout the sciences. The textbook starts from the basics of category theory and progresses to cutting edge research. Each idea is defined in simple terms and then brought alive by many real-world examples before progressing to theorems and uncomplicated proofs. Richly guided exercises ground readers in concrete computation and application. The result is a highly readable and engaging textbook that will open the world of category theory to many. Makes category theory accessible to non-math majors Uses easy-to-understand language and emphasizes diagrams over equations Incremental, iterative approach eases students into advanced concepts A series of embedded mini-courses cover such popular topics as quantum computing, categorical logic, self-referential paradoxes, databases and scheduling, and knot theory Extensive exercises and examples demonstrate the broad range of applications of categorical structures Modular structure allows instructors to fit text to the needs of different courses Instructor resources include slides