关于自由群的一个注记。自由群函子通过堆范畴的分解
A note on a free group. The decomposition of a free group functor through the category of heaps
摘要:
本文旨在引入一个左伴随函子给一个群分配堆的函子。附加是一元的。它解释了如何可以分解一个自由群函子通过前面介绍的伴随和使用它来描述一个略有不同的建设自由群。
英文摘要:
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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。