2010/12/14 by Moshe Kamensky, Kamensky, Moshe
Mathematics · #03C40 #03G30 #18C10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO #msc:03C40 #msc:03G30 #msc:18C10
paper · pdf · doi:10.48550/arxiv.1012.3185
18 pages. Part of the results here previously appeared in arxiv:0908.0604
arxiv created 2010/12/14 · arxiv updated 2010/12/16
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.