Modules, kinds, and homology · Study