Groupoids and Relative Internality

We prove that in a stable theory, some 2-analysable types give rise to type definable groupoids, with some simplicial data attached to them, extending a well-know result linking groups to internal types. We then investigate how properties of these groupoids relate to properties of types. In particular, we expose some internality criteria.Non UBCUnreviewedAuthor affiliation: University of Notre DameGraduat