Category Theory and Nagarjuna’s Madhyamaka: How Abstract Mathematical Mappings Prove the Emptiness of Inherent Nature

For millennia, Western metaphysics and reductionist science operated under a shared fundamental assumption: that reality is composed of basic building blocks possessing intrinsic properties. From Democritus’s indivisible atoms to classical set theory, the universe was envisioned as a collection of self-contained entities that exist prior to their interactions. Yet, two radically different traditions—separated by nearly two thousand years and vast cultural divides—shattered this substantialist paradigm.

In the second century CE, the Indian philosopher Nagarjuna formulated the Madhyamaka (Middle Way) school of Buddhist philosophy, arguing that all phenomena are empty of inherent existence (svabhava). In 1945, mathematicians Samuel Eilenberg and Saunders Mac Lane introduced Category Theory, an abstract mathematical framework that redirected the focus of mathematics from internal structures of set-theoretic objects to the arrows, or mappings, between them. When juxtaposed, Category Theory serves as a rigorous, formal mathematical language that proves the profound ontological insight of Madhyamaka: to exist is to be related, and outside of relations, inherent nature is a logical impossibility.

The Metaphysics of Sunyata: Nagarjuna’s Deconstruction of Essence

Nagarjuna’s philosophical masterpiece, the Mulamadhyamakakarika (Fundamental Verses on the Middle Way), presents a relentless deconstruction of intrinsic nature. In Sanskrit, svabhava refers to an independent, self-sufficient, and uncaused essence that belongs to an object in and of itself.

Dependent Origination and the Absence of Svabhava

Nagarjuna demonstrated that if an entity possessed true svabhava, it would have to be immutable, eternal, and totally isolated from external causes. Since everything in our experienced world undergoes change, arises due to conditions, and dissolves upon their cessation, nothing can possess svabhava. This absence of inherent essence is what Madhyamaka calls Sunyata (Emptiness).

"Whatever is dependently co-arisen, that is explained to be emptiness. That, being a dependent designation, is itself the middle way." — Nagarjuna, Mulamadhyamakakarika 24.18

Emptiness in Madhyamaka is not nihilism; it does not claim that things do not exist. Rather, it posits that things exist dependently (Pratītyasamutpāda). A table is not an isolated substance possessing "tableness"; it is an emergent node constructed of wood, human design, physical forces, perception, and linguistic conventions. Strip away its relationships and conditions, and no underlying core remains.

Category Theory: The Mathematics of Pure Relation

In classical mathematics, sets are defined by their internal elements. A set containing the numbers 1, 2, and 3 exists by virtue of the items contained within its boundary. Category Theory inverted this paradigm completely by subordinating elements and internal contents to external relationships.

Morphisms Over Objects: Shifting the Paradigm

A category consists of two primary ingredients: objects and morphisms (arrows pointing from one object to another). Crucially, in category theory, the internal structure of an object is rendered entirely invisible. An object is treated as an opaque point; its identity and character are determined solely by how it interacts with every other object in the category via morphisms.

Instead of asking, "What is this object made of?" Category Theory asks, "How does this object relate to the rest of the mathematical universe?"

The Yoneda Lemma: Mathematical Proof of Relational Identity

The pinnacle of this relational ontology is embodied in the Yoneda Lemma, one of the most profound results in modern mathematics. In simple terms, the Yoneda Lemma proves that an object in a category is completely and uniquely determined by the network of all morphisms pointing into it or out from it.

• Total Determination: You do not need to look inside an object to know what it is. Knowing all possible mappings between it and every other object in the category yields 100% of the information about that object.
• Structural Equivalence: If two objects interact with all other objects in precisely the same way, they are naturally isomorphic—mathematically indistinguishable.

The Yoneda Lemma mathematically formalizes the assertion that an entity possesses no hidden, private essence apart from its system of relationships.

The Structural Convergence: Morphisms as Pratītyasamutpāda

The convergence between Category Theory and Madhyamaka philosophy is not merely metaphorical; it represents a deep structural equivalence between formal logic and metaphysical insight.

The Structural Analogy of Relational Reality

Consider the structural parallels that bridge these two disciplines:

• Objects as Empty Nodes: In Category Theory, an object has no internal constitution. In Madhyamaka, a phenomenon has no svabhava. Both regard the entity as an empty placeholder given meaning entirely by external context.
• Morphisms as Dependent Origination: Morphisms define the behavior, transformation, and identity of objects. This mirrors Pratītyasamutpāda, where phenomena arise and acquire identity exclusively through their dynamic interactions with other phenomena.
• Functors as Translating Contexts: Category Theory uses functors to map structures from one category to another without losing relational integrity. Similarly, Madhyamaka utilizes the Two Truths Doctrine (conventional truth vs. ultimate truth) to show how relational realities translate across different contextual frames of understanding.

The Fallacy of Substantialism in Physics and Logic

This structural convergence carries profound implications for contemporary theoretical physics and cognitive science. Quantum mechanics has long struggled with substantialist assumptions: particles do not behave like classical, isolated billiard balls, but as probabilistic relational events. Quantum entanglement mirrors the Yoneda principle—the state of a particle cannot be defined independently of its measurement context and systemic interactions.

By replacing the classical set-theoretic foundation of mathematics with category-theoretic foundations (such as Topos Theory), modern science discovers a mathematical language natively equipped to describe an empty, fully interconnected universe.

Philosophical Implications: Living in a Non-Essentialist Cosmos

Understanding the mathematical proof of emptiness liberates human thought from the traps of dogmatic reification. Reification—the mental habit of taking relational, fluid concepts and solidifying them into fixed, absolute essences—is identified by Nagarjuna as the primary source of cognitive suffering and philosophical confusion.

"When identity is recognized not as an isolated fortress, but as an open web of mappings, the illusory boundaries between self and world naturally dissolve."

When we recognize that both mathematical structures and physical entities lack inherent nature, we cease searching for an ultimate, indivisible foundation stone of reality. Reality is not a tower built upon fundamental physical blocks, but an infinite, self-consistent web of mutual interdependence.

Epistemic Liberation at the Edge of Math and Mysticism

The meeting point of Category Theory and Madhyamaka demonstrates that high-level mathematical abstraction and deep contemplative insight are not opposing modes of knowledge, but complementary pathways to the same fundamental truth. Category Theory provides the rigorous syntactic proof; Madhyamaka provides the transformative semantic realization.

Ultimately, both disciplines invite us to step beyond the naive illusion of isolated essences. In a universe governed by relational mappings, nothing stands alone, nothing exists intrinsically, and in that boundless emptiness, infinite possibilities for connection and transformation emerge.