Registry · Definition VII.D80 tau-effective formalized

VII.D80 — Power as Morphism Structure

Asymmetric morphism with scope and modality (coercive, economic, ideological, institutional); political power formalized.

Book VII Part 8 Ch. 104

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.PowerRelation