RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2021, том 18, выпуск 2, страницы 1332–1357 (Mi semr1443)

Эта публикация цитируется в 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.

УДК: 512.53, 512.58

MSC: 20M30, 18M05

Поступила 20 октября 2021 г., опубликована 23 ноября 2021 г.

Язык публикации: английский

DOI: 10.33048/semi.2021.18.102



Реферативные базы данных:


© МИАН, 2024