Para ello se vale de instrumentos algebraicos, fundamentalmente la teoría de grupos y el álgebra homológica, hasta tal punto que su desarrollo es totalmente algebraico.