Current research on Hopf algebras includes programs to classify some types and to understand their categories of modules. In this second talk, we will consider this second problem for nonsemisimple Hopf algebras, and homological techniques for approaching it. We will define the cohomology ring and state a finite generation conjecture for finite dimensional Hopf algebras and more generally for finite tensor categories. We will survey what is known and touch on some recent research.