Forking independence from the categorical point of view
| Autoři | |
|---|---|
| Rok publikování | 2019 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Advances in Mathrmatics |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | Full Text |
| Doi | http://dx.doi.org/10.1016/j.aim.2019.02.018 |
| Klíčová slova | forking; accessible category; stability; effective unions |
| Popis | 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. |
| Související projekty: |