Really? I don't find conceptual and technical difficulty of considering (co)homology theories determined by spectras/infinite loop spaces like K-theories and cobordism theories, study of stable homotopy theories, spectral sequences, triangulated categories etc. to be much smaller that the difficulty of algebraic geometry. As I said, I find them both to be really abstract and mysterious.