The study of algebraic structures through homology computations, employing tensors and the cup product.