Functorial languages in homological algebra and lower central series

There is a general phenomenon in algebra that numerous functors of homological significance admit characterization as derived limits of elementary functors defined over categories of free extensions. We demonstrate that upon restriction to appropriate subcategories of the category of groups, one may express analogously more interesting functors, including homology groups with cyclic coefficients. Moreover, we are laying the foundations of the so-called $\mathbf{fr}_\infty$-language, extending the $\mathbf{fr}$-language of Roman Mikhailov and Sergei O. Ivanov. This language is constructed by augmenting the $\mathbf{fr}$-language through the introduction of an infinite family of letters $\mathbf{fr}$ corresponding to the lower central series $\gamma_m(R)$ of the group of relations and leads to some neat computations.