algebraizations