Groupoids and Relative Internality

Léo Jimenez

In a stable theory, a stationary type $q\in S(A)$ internal to a family of partial types $\mathcal{P}$ over $A$ gives rise to a type-definable group, called its binding group. This…