Forking independence from the categorical point of view

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

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

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:

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