Free Internal Groups

摘要

In the first part of this note an elementary proof is given of the fact that algebraic functors, that is, functors induced by morphisms of Lawvere theories, have left adjoints provided that the category in which the models of these theories take their values is locally presentable. The main focus however lies on the special cases of the underlying functor of the category of internal groups in and the embedding of into, the category of monoids in: Here a unifying construction of the respective left adjoints is provided which not only works in case is a locally presentable category but also when is, for example, a particular category of topological spaces such as the category of Hausdorff or Tychonoff spaces or a cartesian closed topological category.