|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математическая логика, алгебра и теория чисел
Extensions of the category $S-Act$
E. E. Skurikhinab, A. A. Stepanovab, A. G. Sukhonosb a Institute of Applied Mathematics, 7, Radio str., Vladivostok, 690041, Russia
b Far-Eastern Federal University, 10, Ajax Bay, Russky Island, Vladivostok, 690920, Russia
Аннотация:
We define a new category $SS-Act$ whose objects are $S$-acts and whose morphisms are defined so that each set $Hom_{SS-Act}(A, B)$ is an $S$-act. It is proved that this category has a reflective subcategory $ FS-Act $ that is naturally isomorphic to the category $ S-Act $. The set $Hom_{FS-Act}(A,B)$ coincides with the set of all fixed points of the $S$-act $Hom_{SS-Act}(A,B)$. In the case when $S$ is a group, it is proved that the category $SS-Act$ is a Grothendieck topos and the construction of limits and colimits is considered.
Ключевые слова:
S-act, limits and colimits of functors, adjoint functor, Cartesian Closed Category.
Поступила 20 октября 2021 г., опубликована 23 ноября 2021 г.
Образец цитирования:
E. E. Skurikhin, A. A. Stepanova, A. G. Sukhonos, “Extensions of the category $S-Act$”, Сиб. электрон. матем. изв., 18:2 (2021), 1332–1357
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1443 https://www.mathnet.ru/rus/semr/v18/i2/p1332
|
|