Actions of pro-groups and pro-rings

Abstract

We give an explicit description of internal actions in the semi-abelian categories of pro-groups and non-unital pro-rings in terms of actions of group objects and ring objects in $\mathrm{Pro}(\mathbf{Set})$, as well as in some related categories. Also, we show that a similar result fails for Lie algebras.