By Michael Lieberman and others

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

February 7, 2018

Loading full text...

Similar articles

Loading recommendations...

x1

Forking independence from the categorical point of view

Click on play to start listening