?? given comm monoid in AG environment of g-reps, consider "semi-direct product" ..... ???

?? given dimensional category enriched over g-reps ..... ?????? .....

?? given AG theory enriched over g-reps ....... ????? ......

?? x comm monoid in _g-rep_ ..... ??? then consider x-modules ...... ??????? .....

?? consider z/2 acting on k[x] by x |-> -x ... ??? ....

?? "k[x]-module equipped with ..." .... ????? .....

?????? ....... ...... ??? .....

?? re-express idea of "group acting on ring-module pair" in terms of module category autonomously, without relying on ring ...." ..... ???? .....