Tat Tvam Asi as Isomorphism
Mathematics distinguishes A = B (equality — the same object) from A ≅ B (isomorphism — structurally indistinguishable). The standard reading of tat tvam asi ("that thou art") insists on the former: Ātman is Brahman, numerically identical, non-duality taken literally.
But isomorphism is the more interesting claim. There exists a structure-preserving map between Ātman and Brahman such that everything true of one's essential structure is true of the other's. This is stronger than metaphor ("you're like Brahman") but doesn't require the metaphysical commitment that you literally are a single undifferentiated substance. If knowing the isomorphism is the liberation, then whether they're "the same object" or "structurally indistinguishable" is soteriologically moot.
For isomorphism to be meaningful, you need a category — objects and structure-preserving maps between them. What's the category here? Not physical properties. Not biographical details. Something like the reflexive structure of awareness: the witness relation, consciousness observing itself. Śaṅkara might object that Brahman is nirguṇa (without qualities), making the isomorphism degenerate — trivially true between structureless objects. But trivial isomorphisms are still isomorphisms. The claim would then be: at the deepest level, there is no structure to distinguish, which is exactly the Advaita position arrived at from a different direction.
The four corners
The four mahāvākyas — the "great sayings" from four Upanishads:
| Statement | Perspective | |
|---|---|---|
| 1 | Prajñānam Brahma (Consciousness is Brahman) | Definitional |
| 2 | Aham Brahmāsmi (I am Brahman) | First person |
| 3 | Tat tvam asi (That thou art) | Second person |
| 4 | Ayam ātmā Brahma (This Self is Brahman) | Demonstrative |
These aren't four different claims. They're four witnesses to the same isomorphism class. The morphisms between them are indexical shifts — transformations in grammatical person and deixis that preserve the underlying relation. Substitute the referent, shift the perspective, the truth-value carries.
A guru gives you tat tvam asi in second person. You realize aham brahmāsmi in first person. That's you internalizing the morphism — demonstrating that the equivalence doesn't depend on which end you start from.
In category theory, an equivalence that doesn't depend on the choice of object is called natural. The four mahāvākyas form a connected groupoid — every object isomorphic to every other, every path composable. The Upanishadic tradition discovered that you need all four corners to show the equivalence is natural. Pedagogical completeness isn't redundancy. It's the proof.
The morphism as practice
The interesting move: realizing tat tvam asi isn't discovering a pre-existing isomorphism. It's constructing one. Meditation, inquiry, neti-neti — these are the steps of the proof. You don't read about the map and accept it. You build the map and verify it preserves structure at each step.
The Ship of Theseus is usually framed as a paradox of identity. It's better understood as a demonstration of how isomorphism is constructed. Replace every plank at once and you have two ships with no reason to call them the same. But replace one plank at a time — each change small enough to carry the identity label forward — and you bootstrap equivalence through continuity of observation. You never verify the whole map at once. You verify it locally, step by step. The global equivalence is the accumulation.
This is subtly different from Akriti, where form persists as an invariant despite reimplementation. The Ship isn't about an invariant surviving. It's about constructing the morphism through incremental witness. Without the step-by-step observation, there's no identity to preserve — just two unrelated objects.
The Upanishads arrived at this thousands of years before Eilenberg and Mac Lane formalized category theory. They just wrote it in Sanskrit instead of commutative diagrams.