In this talk, I will present a duality between mathematical objects equipped with group structures and the categories of their internal representations. We establish the duality by providing a complete abstract characterization of such categories. The primary motivation is to simultaneously generalize and unify the two categorical concepts, Galois categories and Tannakian categories. I will explain the motivation and a concrete example in detail. Then I will explain that the duality exists in a general context, namely over a prekosmos. This is a joint work with Jae-Suk Park.

강연시간 : 16:40-17:10