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.
Primary Language | English |
---|---|
Subjects | Mathematical Sciences |
Journal Section | Articles |
Authors | |
Early Pub Date | May 11, 2023 |
Publication Date | July 10, 2023 |
Published in Issue | Year 2023 |