A categorical approach to internality
classification
🧮 math.LO
math.CT
keywords
categoricalinternalitymodeldefinablegrouptheoreticanalogousanalogue
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.