Publication details

Forking independence from the categorical point of view

Investor logo

LIEBERMAN Michael ROSICKÝ Jiří VASEY Sébastien Bernard

Year of publication 2019
Type Article in Periodical
Magazine / Source Advances in Mathrmatics
MU Faculty or unit

Faculty of Science

Web Full Text
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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info