Registry · Lemma VII.L35 tau-effective formalized

VII.L35 — Social Base Space Well-Definedness

Ω_soc is a valid categorical object: non-empty, coproduct topology, dignity-bearing, connected components.

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.social_base_well_defined