Registry · Remark
II.R35
established
not_applicable
II.R35 — Denotation Map as Shadow Functor
The denotation map Den: tau -> Mfd_sm factors as a shadow functor Sh that discards finite-stage structure while preserving smooth geometry. Connects orthodox bridge to dimensional ladder.
Book II
Part 4
Ch. 22