In the terminology from [1]}, the \(\infty \) -category \(\mathsf {Mod}^G\)  is a derived algebraic context, and \(\mathsf {Alg}^G\)  is then the associated \(\infty \) -category of connective derived rings.

В терминологии из [1]}, \(\infty \)-категория \(\mathsf {Mod}^G\) является производной алгебраической средой, а \(\mathsf {Alg}^G\) является соответствующей \(\infty \)-категорией связанных производных колец.