Results Ontological dependence (what grounds what) is formalized as factorization in the categorical structure. Causation is constrained composition; dependence is…
Results · Metaphysics Foundational math Internally addressed

Ontological Dependence

Ontological dependence (what grounds what) is formalized as factorization in the categorical structure. Causation is constrained composition; dependence is…

Metaphysics Structural support result ONT Book VII
Public Manuscript Lean · Formalized Metaphysics architecture
In plain language

Ontological dependence (what grounds what) is formalized as factorization in the categorical structure. Causation is constrained composition; dependence is…

Overview

Ontological dependence (what grounds what) is formalized as factorization in the categorical structure. Causation is constrained composition; dependence is morphism factorization.

Result Statement

Ontological dependence as morphism factorization. Causation as constrained composition. Status: Internally addressed.

Cross-references

Glossary terms

Metaphysics: Causation (constrained composition)

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert