Abstract: 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 also formulate the notion of a differential tensor category, and a version of the Tannakian formalism for differential linear groups, and show how the same techniques can be used to deduce the analogous results in that context.
Cites work
- Algebraic \(D\)-groups and differential Galois theory
- Catégories tannakiennes
- Computing the Galois group of a linear differential equation
- Differential Algebraic Groups
- Groupoids, imaginaries and internal covers
- Hodge cycles, motives, and Shimura varieties
- scientific article; zbMATH DE number 4200368 (Why is no real title available?)
- scientific article; zbMATH DE number 5014851 (Why is no real title available?)
- scientific article; zbMATH DE number 3674235 (Why is no real title available?)
- scientific article; zbMATH DE number 3689557 (Why is no real title available?)
- scientific article; zbMATH DE number 3739509 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1531889 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- Lax Monoidal Fibrations
- Model Theory
- On the type-definability of the binding group in simple theories
- Some foundational questions concerning differential algebraic groups
- Stable groups. Transl. from the French by Moses Gabriel Klein
- Tannakian approach to linear differential algebraic groups.
- Tannakian categories, linear differential algebraic groups, and parametrized linear differential equations
- Tannakian formalism over fields with operators
- The differential rational representation algebra on a linear differential algebraic group
- Une théorie de Galois imaginaire
- Unidimensional theories are superstable
Cited in
(18)- Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model.
- Structuralism, model theory and reduction
- A.D. Taimanov and model theory in Kazakhstan
- Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence
- Isomonodromic differential equations and differential categories
- scientific article; zbMATH DE number 5071487 (Why is no real title available?)
- scientific article; zbMATH DE number 3924746 (Why is no real title available?)
- Frege, hilbert, and the conceptual structure of model theory
- Calculating Galois groups of third-order linear differential equations with parameters
- Models of intuitionistic TT and NF
- scientific article; zbMATH DE number 1418078 (Why is no real title available?)
- Model theory of proalgebraic groups
- Intrinsic approach to Galois theory of q-difference equations
- scientific article; zbMATH DE number 4197450 (Why is no real title available?)
- Jewels of Institution-Independent Model Theory
- On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
- Representing model theory in a type-theoretical logical framework
- Grothendieck and model theory: five characters in search of a theme
This page was built for publication: Model theory and the Tannakian formalism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5496624)
