行列計算と二重圏の利用

• 係数の変換： 自然数→ブール値 とその逆
• 非決定性写像としての適用（値の算出） ブラケット
• ブール演算
• 算術演算（自然数ベースの計算）
• 集計演算 sum, prod, anyOf, allOf
• 行列の制限〈縮小〉とゼロ拡張
• テンソル積と射影

二重圏における引き戻し〈pull-back〉とその引き手〈puller〉、押し出し〈push-out〉とその押し手〈pusher〉を考える。痩せた二重圏では、引き手と押し手は一意に決まる。プロ射が射の平行ペアにそって押し出し可能、引き戻し可能性の条件がある。

二重圏使うのはいいと思う。