2種類以上の、異なったタイプの“計算”を組み合わせて使いたいとき、ある圏に対して高次の豊饒化を施すことで“組み合わせ”が実現できそうです。内容： 動機 言葉に関する注意 1-豊饒圏 2-豊饒圏 事例 B P FdVect Set 項計算と論理計算 続きの話が「2-豊饒圏と…