Теорема Таннаки в стереотипной теории

Теории двойственности для групп делятся на два класса: теории, в которых двойственный объект имеет ту же природу, что и исходный, и теории, в которых двойственный объект так сильно отличается от исходного, что считать их объектами одной природы становится невозможно.
Первый тип теорий двойственности — это собственно теория двойственности Понтрягина для локально компактных абелевых групп и ее обобщения в духе теории Каца—Вайнермана—Энока—Шварца. А второй тип — теория Таннаки и различные ее обобщения. В ней объектом, двойственным к (компактной) группе $G$, считается категория $_G\operatorname{Vect}$ ее представлений в векторных пространствах, а объектом двойственным к $_G\operatorname{Vect}$, — пространство автоморфизмов забывающего функтора $_G\operatorname{Vect}\to \operatorname{Vect}$ в категорию векторных пространств.
Интересный факт состоит в том, что теорию Таннаки для компактных групп можно обобщить на произвольные локально компактные группы $G$, если под категорией $_G\operatorname{Vect}$ понимать категорию представлений группы $G$ в стереотипных пространствах. В моем докладе я постараюсь описать детали этой конструкции, и для этого нам понадобится предварительный разговор об обогащенных категориях и теоремах типа Таннаки в них.
Доклад состоится через zoom Идентификатор: 845 0597 8739 Код доступа: 633657