Skip to main content
formatting, added tags
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

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

$$Profinite_{Ab} \to Profinite_{Sets}$$$$\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.

Let $Profinite_{Ab}$ be the category of profinite abelian groups, and let $Profinite_{Set}$ be the category of profinite sets. Does the forgetful functor

$$Profinite_{Ab} \to 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.

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.

Source Link

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

Let $Profinite_{Ab}$ be the category of profinite abelian groups, and let $Profinite_{Set}$ be the category of profinite sets. Does the forgetful functor

$$Profinite_{Ab} \to 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.