Registry · Lemma VII.L43 tau-effective formalized

VII.L43 — Ritual Gluing Well-Defined

Ritual 4 conditions (stereotypy, synchrony, collective scope, transformation) imply sheaf gluing on F_soc.

Book VII Part 8 Ch. 105

Dependency Graph

Depends on (2)

VII.D81 VII.D76

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.ritual_gluing_well_defined