Model theory and the Tannakian formalism

Details Model theory and the Tannakian formalism Model theory and the Tannakian formalism

2009-08-05

arxiv.org/abs/0908.0604v3

Mathematics

Logic

25 pages. Paper reorganised, some of the main results are stated more clearly. The part going in the other direction (deducing

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Model theory and the Tannakian formalism does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Model theory and the Tannakian formalism, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model theory and the Tannakian formalism will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-254481