「集合・関数係数行列の2-圏、モナドも添えて」において、「アスタリスクで総和をとり、ハイフンでラムダ抽象〈関数抽象〉をする」記法を導入しました。これ、なかなかに使いやすいですね。この記法を他の場面でも使いたくなりました。「複余有向コンテナ〈…