Registry · Remark II.R41 established not_applicable

II.R41 — Bridge Declaration

Bridge declaration: the fork between Category tau and orthodox mathematics is structural and permanent, but the two sides can inform each other through shadow functors and comparison principles.

Book II Part 11 Ch. 67

Dependency Graph

Depends on (5)

Lean Formalization

Module:

Symbol: