2021-09-02 双加群圏と平衡テンソル積はグリノーがやっている。 モノイド圏 やってるのはグリノー〈Justin Greenough〉って人だけかも知れない。 https://arxiv.org/abs/0911.4979 40p https://core.ac.uk/download/pdf/215517307.pdf 2010 学位論文 紙スキャンのようだ。