Forking independence from the categorical point of view

We develop the theory of forking-like independence in accessible categories. To do so, we present an axiomatic definition of what we call a stable independence notion 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. We then... Show more