Registry · Remark I.R39 established not_applicable

I.R39 — Dimension Readout Functors

Four canonical readout functors project from Obj(tau) to individual coordinate ranges. Base readouts (D,A) and fiber readouts (B,C) decompose via the fibration preview. Catalog items in Appendix registry.

Book I Part 4 Ch. 20

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: