Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have