Functorial languages in homological algebra and lower central series
Nikita Golub, Vasily Ionin, Lev Mukoseev

TL;DR
None
Contribution
None
Abstract
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 -language, extending the -language of Roman Mikhailov and Sergei O. Ivanov. This language is constructed by augmenting the -language through the introduction of an infinite family of letters corresponding to the lower central series of the group of relations and leads to some neat computations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Advanced Algebra and Logic · Homotopy and Cohomology in Algebraic Topology
