tensor product in Hecke cat and derived satake