A note on a free group. The decomposition of a free group functor through the category of heaps

Authors : Bernard RYBOLOWICZ

Pages : 21-30

Doi:10.24330/ieja.1260475

View : 40 | Download : 67

Publication Date : 2023-07-10

Article Type : Research Paper

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.
Keywords : Heap, free group, free group functor