Partial monoid actions on objects in categories with pullbacks and their globalizations

Abstract

Let $M$ be a monoid, $\mathcal{C}$ a category with pullbacks and $X$ an object of $\mathcal{C}$. We introduce the notion of a partial action $\hat{I}\pm$ of $M$ on $X$ and study the globalization question for $\hat{I}\pm$. If $\hat{I}\pm$ 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 $\mathcal{C}$. We then give a construction of such a reflection in terms of a colimit of a certain functor with values in $\mathcal{C}$. We specify this construction to the case of categories admitting certain coproducts and coequalizers.