加载中…
Let be a monoid, a category with pullbacks and an object of . We introduce the notion of a partial action of on and study the globalization question for . If admits a reflection in the subcategory of global actions, then we reduce the problem to the verification that a certain diagram is a pullback in . We then give a construction of such a reflection in terms of a colimit of a certain functor with values in . We specify this construction to the case of categories admitting certain coproducts and coequalizers.

生成讲解博客的中文版本

生成AI智能校验的中文版本