>>200
>which is a fortiori an equivalence of tannakian categories (Ginzburg 2000).

淡中先生（＾＾
https://en.wikipedia.org/wiki/Tannakian_formalism
Tannakian formalism

In mathematics, a Tannakian category is a particular kind of monoidal category C, equipped with some extra structure relative to a given field K.
The role of such categories C is to approximate, in some sense, the category of linear representations of an algebraic group G defined over K.
A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.

The name is taken from Tannaka?Krein duality, a theory about compact groups G and their representation theory.
The theory was developed first in the school of Alexander Grothendieck. It was later reconsidered by Pierre Deligne, and some simplifications made.
The pattern of the theory is that of Grothendieck's Galois theory, which is a theory about finite permutation representations of groups G which are profinite groups.

Contents
1 Formal definition
2 Applications
3 Extensions

つづく