The popular view according to which category theory provides a support for mathematical structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics studies ‘invariant form’ (Awodey) categorical mathematics studies covariant and contravariant transformations which, generally, have no invariants. In this paper I develop a non-structuralist interpretation of categorical mathematics.

In science as in mathematics, it is popular to know little and resent much about category theory. Less well known is how common it is to know little and like much about set theory. The set theory of almost all scientists, and even the average mathematician, is fundamentally different from the formal set theory that is contrasted against category theory. The latter two are often opposed by saying one emphasizes Substance, the other Form. However, in all known systems of mathematics (...) throughout history, mathematicians have moved fluidly between ideas conceived of as thing-like, property-like, and process-like. On the other hand one way to advance science is to better distinguish between thing, property, and process. All this constitutes a distracting background for those interested in, or distressed by, the possible application of category theory to science, and to mathematics as well. (shrink)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

What is Gandhi’s Satya? How does truth entail peace? Satya or truth, for Gandhi, is experiential. The experiential truth of Gandhi does not exclude epistemological, metaphysical, or moral facets of truth, but is an unequivocal acknowledgement of the subjective basis of the pursuit of objectivity. In admitting my truth, your truth, our truth, their truth, etc., Gandhi brought into clear focus the reality of I and we—the subjects (or viewpoints) of subjective experiences (views). The totality of these subjective viewpoints, along (...) with their mutual relationships, constitutes an objective frame of reference for reconciling or putting together seemingly irreconcilable perceptions into a unitary whole of mutual understanding and an ever more refined comprehension of reality, thereby engendering peace. Considering the generality of the basic tenet—viewpoint dependence of views—of Gandhi’s satyagraha and in view of the kinship between positive conception of peace and unity, I put forward ‘satyagraha for science’ as a method to address numerous foundational problems in various branches of science centered on unity such as the binding problem in neuroscience. (shrink)

Math literacy is miniscule compared to the near universal language literacy of mother tongues. Our search for the root cause of this undesirable human condition led us to: Grammar (or the abstract essence) of a language. Language learning begins with grammar, unless the language happens to be mathematics, which is unique in not even considering including the grammar (abstract general/theory) of mathematics in the mathematical pedagogy. Here we make a case for introducing the abstract essence of mathematics--Conceptual Mathematics--in high school (...) math curriculum. Recognizing that the singular purpose of education is to nurture the universal yearning for understanding, we show how a nurturing pedagogy naturally resolves the "learning crisis", with the solution manifesting as human development. Furthermore, the nurturing pedagogy that we advocate invariably results in the culture of research excellence. (shrink)

That the state-of-affairs of cognitive science is not good is brought into figural salience in "What happened to cognitive science?" (Núñez et al., 2019). We extend their objective description of 'what's wrong' to a prescription of 'how to correct'. Cognitive science, in its quest to elucidate 'how we know', embraces a long list of subjects, while ignoring Mathematics (Fig. 1a, Núñez et al., 2019). Mathematics is known for making the unknown to be known (cf. solving for unknowns). This acknowledgement naturally (...) raises the question: does mathematical knowing inform knowing in general? Here we show that drawing parallels to mathematical knowing can facilitate the advancement of cognitive science (Lawvere, 1994). (shrink)

We define consciousness as the category of all conscious experiences. This immediately raises the question: What is the essence in which every conscious experience in the category of conscious experiences partakes? We consider various abstract essences of conscious experiences as theories of consciousness. They are: (i) conscious experience is an action of memory on sensation, (ii) conscious experience is experiencing a particular as an exemplar of a general, (iii) conscious experience is an interpretation of sensation, (iv) conscious experience is referring (...) sensation to an object as its cause, and (v) conscious experience is a model of stimulus. Corresponding to each one of these theories we obtain a category of models of conscious experiences: (i) category of actions, (ii) category of idempotents, (iii) category of two sequential maps, (iv) category of brain-generalized figures, and (v) functor categories with intuition as base and conceptual repertoire as exponent, respectively. For each theory of consciousness we also calculate its truth value object and characterize the objective logic intrinsic to the corresponding category of models of consciousness experiences. (shrink)

Our manuscript addresses the foundational question of cognitive science: how do we know? Specifically, examination of the mathematics of acquiring mathematical knowledge revealed that knowing-within-mathematics is reflective of knowing-in-general. Based on the correspondence between ordinary cognition (involving physical stimuli, neural sensations, mental concepts, and conscious percepts) and mathematical knowing (involving objective particulars, measured properties, abstract theories, and concrete models), we put forward the functorial semantics of mathematical knowing as a formalization of cognition. Our investigation of the similarity between mathematics and (...) cognition led us to argue against the compartmentalization of scientific knowledge and ordinary cognition, and make a case for the understanding of the basic science of knowing in terms of functorial semantics. Recognizing functorial semantics as an elementary form of cognition can help advance cognitive science the way calculus helped in the advancement of physics. (shrink)

We call for a change-of-attitude towards reviews of scientific literature. We begin with an acknowledgement of reviews as pathways for the advancement of our scientific understanding of reality. The significance of the scientific struggle propelling the putting together of pieces of knowledge into parts of a cohesive body of understanding is recognized, and yet undervalued, especially in empirical sciences. Here we propose a nudge, which is prefacing the insights gained in reviewing the literature with: 'Our review reveals' (or an equivalent (...) phrase), that can bring about the desired cultural shift in the practice of science. The resulting elevation of the status of reviews to that of original findings would also bring about the desirable smoothening of the undesirable schism between theorists and experimentalists. (shrink)

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. (shrink)

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the adjointness (...) between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

In science as in mathematics, it is popular to know little and resent much about category theory. Less well known is how common it is to know little and like much about set theory. The set theory of almost all scientists, and even the average mathematician, is fundamentally different from the formal set theory that is contrasted against category theory. The latter two are often opposed by saying one emphasizes Substance, the other Form. However, in all known systems of mathematics (...) throughout history, mathematicians have moved fluidly between ideas conceived of as thing-like, property-like, and process-like. On the other hand one way to advance science is to better distinguish between thing, property, and process. All this constitutes a distracting background for those interested in, or distressed by, the possible application of category theory to science, and to mathematics as well. (shrink)

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. (shrink)