Forking independence from the categorical point of view
| Authors | |
|---|---|
| Year of publication | 2019 |
| Type | Article in Periodical |
| Magazine / Source | Advances in Mathrmatics |
| MU Faculty or unit | |
| Citation | |
| Web | Full Text |
| Doi | http://dx.doi.org/10.1016/j.aim.2019.02.018 |
| Keywords | forking; accessible category; stability; effective unions |
| Description | Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms. In particular, we present an axiomatic definition of what we call a stable independence notion on a category and show that this is in fact a purely category-theoretic axiomatization of the properties of model-theoretic forking in a stable first-order theory. |
| Related projects: |