This note aims to introduce a left adjoint functor to the functor which assigns a heap to a group. The adjunction is monadic. It is explained how one can decompose a free group functor through the previously introduced adjoint and employ it to describe a slightly different construction of free groups.
|Number of pages||10|
|Journal||International Electronic Journal of Algebra|
|Early online date||5 Mar 2023|
|Publication status||E-pub ahead of print - 5 Mar 2023|
- Algebra and Number Theory