Registry · Definition VII.D42 tau-effective not_applicable

VII.D42 — Knowledge as Section

Knowledge is global section of presheaf over observation cover satisfying gluing conditions; JTB reformulated.

Book VII Part 3 Ch. 33

Dependency Graph

Depended on by (3)

VII.P10 VII.T17 VII.T39

Lean Formalization

Module:

Symbol: