双加群圏と平衡テンソル積はグリノーがやっている。

やってるのはグリノー〈Justin Greenough〉って人だけかも知れない。