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