ステファネスクに従って、用語法をデカルト分配圏からデカルト半環圏（cartesian semiringal category）に変える。記号の説明： θ -- 空集合を域とする唯一の射 ι -- 標準入射 ∇ -- 直和のフォールド＝余対角 λ -- 左unitor自然同型 ρ -- 右unitor自然同型 α…