Skip to main content
2 of 2
formatting, added tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Is there a free profinite abelian group on a profinite set?

Let $\mathit{Profinite}_{\mathrm{Ab}}$ be the category of profinite abelian groups, and let $\mathit{Profinite}_{\mathrm{Set}}$ be the category of profinite sets. Does the forgetful functor

$$\mathit{Profinite}_{\mathrm{Ab}} \to \mathit{Profinite}_{Sets}$$

admit a left adjoint?

I am a beginner to this kind of question; I do not even know if both the domain and codomain categories admit all small colimits.