Registry · Definition III.D74 tau-effective formalized

III.D74 — Diagrammatic Sector of E₃

The ω-coupling sector of the 4+1 template at E₃: where formal categorical reasoning about categorical reasoning lives. Book III itself operates in this sector. The diagrammatic sector is one reading of the sector decomposition at the terminal enrichment level.

Book III Part 10 Ch. 70

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Mirror.ProofTheoryE3

Symbol: self_model_check