Online research in philosophy

This article suggests a novel way to advance a current debate in the philosophy of mathematics. The debate concerns the role of diagrams and visual reasoning in proofs—which I take to concern the criteria of legitimate representation of mathematical thought. Drawing on the so-called ‘maverick’ approach to philosophy of mathematics, I turn to mathematical practice itself to adjudicate in this debate, and in particular to category theory, because there (a) diagrams obviously play a major role, and (b) category theory itself addresses questions of representation and information preservation over mappings. We obtain a mathematical answer to a philosophical question: a good mathematical representation can be characterized as a category theoretic natural transformation.

We are used to talking about the “structure” posited by a given theory of physics. We say that relativity is a theory about spacetime structure. Special relativity posits one spacetime structure; different models of general relativity posit different spacetime structures. We also talk of the “existence” of these structures. Special relativity says the world’s spacetime structure is Minkowskian: it posits that this spacetime structure exists. Understanding structure in this sense seems important for understanding what physics is telling us about the world. But it is not immediately obvious just what this structure is, or what we mean by the existence of one structure, rather than another. The idea of mathematical structure is relatively straightforward. There is geometric structure, topological structure, algebraic structure, and so forth. Mathematical structure tells us how abstract mathematical objects t together to form different types of mathematical spaces. Insofar as we understand mathematical objects, we can understand mathematical structure. Of course, what to say about the nature of mathematical objects isn’t easy. But there seems to be no further problem for understanding mathematical structure. Modern theories of physics are formulated in terms of these mathematical structures. In order to understand “structure” as used in physics, then, it seems we must simply look at the structure of the mathematics that is used to state the physics. But it is not that simple. Physics is supposed to be telling us about the nature of the world. If our physical theories are formulated in mathematical language, using mathematical objects, then this mathematics is somehow telling us about the physical make-up of the world. What is..

The centrality of the whole/part relation in mathematics is demonstrated through the presentation and analysis of examples from algebra, geometry, functional analysis,logic, topology and category theory.

It is shown that a locally finite polyadic algebra on an infinite set V of variables is a Boolean-algebra object, endowed with some internal supremum morphism, in the category of locally finite transformation sets on V. Then, this new categorical definition of polyadic algebras is used to simplify the theory of these algebras. Two examples are given: the construction of dilatations and the definition of terms and constants.

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of..

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed "heteromorphic" theory of adjoint functors allows the concepts to be more easily applied empirically. This suggests a conceptual structure, albeit abstract, to model a range of selectionist mechanisms (e.g., in evolution and in the immune system). Closely related to adjoints is the notion of a "brain functor" which abstractly models structures of cognition and action (e.g., the generative grammar view of language).

Formal Axiomatic method as exemplified in Hilbert’s Grundlagen der Geometrie is based on a structuralist vision of mathematics and science according to which theories and objects of these theories are to be construed “up to isomorphism”. This structuralist approach is tightly linked with the idea of making Set theory into foundations of mathematics. Category theory suggests a generalisation of Formal Axiomatic method, which amounts to construing objects and theories “up to general morphism” rather than up to isomorphism. It is shown that this category-theoretic method of theorybuilding better fits mathematical and scientific practice. Moreover so since the requirement of being determined up to isomorphism (i.e. categoricity in the usual model-theoretic sense) turns to be unrealistic in many important cases. The category-theoretic approach advocated in this paper suggests an essential revision of the structuralist philosophy of mathematics and science. It is argued that a category should be viewed as a far-reaching generalisation of the notion of structure rather than a particular kind of structure. Finally, I compare formalisation and categorification as two alternative epistemic strategies.

This paper considers the nature and role of axioms from the point of view of the current debates about the status of category theory and, in particular, in relation to the “algebraic” approach to mathematical structuralism. My aim is to show that category theory has as much to say about an algebraic consideration of meta-mathematical analyses of logical structure as it does about mathematical analyses of mathematical structure, without either requiring an assertory mathematical or meta-mathematical background theory as a “foundation”, or turning meta-mathematical analyses of logical concepts into “philosophical” ones. Thus, we can use category theory to frame an interpretation of mathematics according to which we can be structuralists all the way down.

This paper considers the nature and role of axioms from the point of view of the current debates about the status of category theory and, in particular, in relation to the “algebraic” approach to mathematical structuralism. My aim is to show that category theory has as much to say about an algebraic consideration of meta-mathematical analyses of logical structure as it does about mathematical analyses of mathematical structure, without either requiring an assertory mathematical or meta-mathematical background theory as a “foundation”, or turning meta-mathematical analyses of logical concepts into “philosophical” ones. Thus, we can use category theory to frame an interpretation of mathematics according to which we can be algebraic structuralists all the way down.

In this paper I argue that category theory ought to be seen as providing the language for mathematical discourse. Against foundational approaches, I argue that there is no need to reduce either the content or structure of mathematical concepts and theories to the constituents of either the universe of sets or the category of categories. I assign category theory the role of organizing what we say about the content and structure of both mathematical concepts and theories. Insofar, then, as the structuralist sees mathematics as talking about structures and their morphology, I contend that category theory furnishes a framework for mathematical structuralism.