Registry · Definition II.D73 established formalized

II.D73 — The Physics Quadrant Matrix

2x2 classification of mathematical frameworks by PDE type (elliptic/hyperbolic) and metric type (Archimedean/non-Archimedean). QFT in (H,A), GR locally in (E,A), Category tau in (H,nA). The fourth quadrant (H,nA) is the only quadrant where the Unification Obstruction does not apply.

Book II Part 11 Ch. 66

Dependency Graph

Depends on (4)

Depended on by (7)

Lean Formalization

Module: TauLib.BookII.Mirror.PhysicsQuadrant

Symbol: PhysicsQuadrant