A categorical approach to internality

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

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.
Original languageEnglish GB
Title of host publicationModels, Logics, and Higher-dimensional Categories: A Tribute to the Work of Mihaly Makkai
Editors Bradd Hart , Thomas G Kucera , Anand Pillay, Philip J. Scott , Robert A. G. Seely
Pages139-156
Volume53
StatePublished - 2010

Publication series

NameCRM Proceedings & Lecture Notes

Fingerprint

Dive into the research topics of 'A categorical approach to internality'. Together they form a unique fingerprint.

Cite this