A neutral Tannakian category over field
whose unit
equipped with an exact and faithful (does exact faithful = faithfully exact?) tensor functor that is called the (neutral) fiber functor
into the category of finite-dimensional
The category
One interesting question people in representation theory have thought about is, how do we recover the group
The first possibility one can try is to consider some symmetry group on some of the structures of the category itself, if we consider the automorphism group of the fiber functor
where
If we add a ‘multiplicative’ requirement, we can get the ‘monomials’ back from
which is the group we started with owo