is there a natural way to associate a Lie algebra (over real numbers or other field) to a profinite group in a functorial way ? I.e. I'm looking for a functor $L: \mathbf{ProfinGroups}\rightarrow \mathbf{LieAlg}$
If such functor exists, could we have a fully faithful functor if we restrict $L$ to some full subcategory of $\mathbf{ProfinGroups}$ ?