Registry · Lemma VII.L38 tau-effective formalized

VII.L38 — Collective Intentionality as Glued Section

Compatible individual intentions glue to unique global we-intention via sheaf axiom of F_soc.

Book VII Part 8 Ch. 94

Dependency Graph

Depends on (1)

VII.D76

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.collective_intentionality_glued