Registry · Definition VII.D32 tau-effective formalized

VII.D32 — Causation as Constrained Composition

Causation is factorization: f causes g when g decomposes into f and admissible h; structural, not Humean.

Book VII Part 2 Ch. 24

Dependency Graph

Depended on by (1)

VII.P06

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.CausationAsConstrainedComposition