The nlab has a page on transfinite construction of free algebras on the existence of a free monad for a (pointed) endofunctor (accessible in a locally presentable category). My question is if the existence of
- tensor product $- \otimes B$ with an abelian group
- algebraic closure of a field
and other similar classical constructions in algebra fall in this construction, and if so how to see that.