Registry · Definition VII.D76 tau-effective formalized

VII.D76 — Social Ontology

Categorical social ontology with dignity-bearing entities, recognition topology, and sheaf of social facts.

Book VII Part 8 Ch. 94

Dependency Graph

Depended on by (9)

VII.D80 VII.D81 VII.L35 VII.L36 VII.L37 VII.L38 VII.L43 VII.P23 VII.P25

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.SocialBaseSpace