Model theory and the tannakian formalism

Research output: Contribution to journalArticlepeer-review


We draw the connection between the model theoretic notions of internality and the binding group on one hand, and the Tannakian formalism on the other. More precisely, we deduce the fundamental results of the Tannakian formalism by associating to a Tannakian category a first order theory, and applying the results on internality there. We then formulate the notion of a differential tensor category, which axiomatises the category of differential representations of differential linear groups, and show how the model theoretic techniques can be used to deduce the analogous results in that context.

Original languageAmerican English
Pages (from-to)1095-1120
Number of pages26
JournalTransactions of the American Mathematical Society
Issue number2
StatePublished - 1 Jan 2015


  • Binding group
  • Galois group
  • Internality
  • Linear algebraic group
  • Linear differential group
  • Representations
  • Tannakian formalism

All Science Journal Classification (ASJC) codes

  • Applied Mathematics
  • General Mathematics


Dive into the research topics of 'Model theory and the tannakian formalism'. Together they form a unique fingerprint.

Cite this