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

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module:

Symbol: