Tannakian formalism (source code)

= Tannakian formalism
{wiki=Tannakian_formalism}

Tannakian formalism is a powerful framework in category theory and algebraic geometry that provides a way to relate various kinds of categories, particularly those related to linear algebra and representation theory, to groups (or group-like structures). It is named after the mathematician Michio Tannaka, who contributed significantly to this area.