18G15 - Category theory; homological algebra :: Homological algebra :: Ext and Tor, generalizations, Künneth formula