Registry · Definition IV.D323 tau-effective formalized

IV.D323 — Internal Identity

A named equation between categorical objects at a specific ontological layer (MathKernel, InternalPhysics, or SIBridge). At Layer 1, equations are morphisms between internal objects, not equalities between reals.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Physics.InternalEquations

Symbol: Tau.BookIV.Physics.InternalIdentity