Registry · Definition
III.D72
conjectural
formalized
III.D72 — Shadow Diagram
The image of a τ-internal commutative diagram under the bridge functor F. The shadow preserves commutativity but may lose structure: each forbidden move introduces a specific degeneracy in the shadow.
Book III
Part 10
Ch. 67