Split extension classifiers in the category of precrossed modules of commutative algebras

We construct an actor of a precat$^{1}$-algebra and then by using the natural equivalence between the categories of precat$^{1}$-algebras and that of precrossed modules, we construct the split extension classifier of the corresponding precrossed module, which gives rise to the representability of actions in the category of precrossed modules of commutative algebras under certain conditions.

Split extension classifiers in the category of precrossed modules of commutative algebras

We construct an actor of a precat$^{1}$-algebra and then by using the natural equivalence between the categories of precat$^{1}$-algebras and that of precrossed modules, we construct the split extension classifier of the corresponding precrossed module, which gives rise to the representability of actions in the category of precrossed modules of commutative algebras under certain conditions.