Mathematics – Logic
Scientific paper
2010-12-14
Mathematics
Logic
18 pages. Part of the results here previously appeared in arxiv:0908.0604
Scientific paper
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.
No associations
LandOfFree
A categorical approach to internality does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A categorical approach to internality, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A categorical approach to internality will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-13016