A categorical approach to internality
Logic
2010-12-16 v1 Category Theory
Abstract
Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an analogous result on the categorical level. The model theoretic statement is recovered by considering the category of definable sets.
Keywords
Cite
@article{arxiv.1012.3185,
title = {A categorical approach to internality},
author = {Moshe Kamensky},
journal= {arXiv preprint arXiv:1012.3185},
year = {2010}
}
Comments
18 pages. Part of the results here previously appeared in arxiv:0908.0604