スケマティックな計算をしている記事

1. サーフェイス図のテキスト表現
2. ストリング図とストライプ図
3. 環境付き計算と依存アクテゴリー 1/n
4. 図式思考の例として、ラックス・モノイド関手について考えてみる
5. 変換手2-圏の代数構造とストリング図表現
6. 反ラックス・モノイド余モナドの余クライスリ圏 その1
7. 準マルコフ余モナドの計算と記述の方法
8. 余モナドにおけるパンツマジックとシングレット
9. モノイド圏： 評価写像の双関手性
10. 余計な話？ 厳密2-亜群オペラッドとモノイド圏
11. 2-圏のなかのスパンのあいだの射
12. 新しい絵算手法：ストリング＋ストライプ図
13. 絵算のテキスト表現（結論：疲れる）
14. 絵算のテキスト化を完全にやってみた（超・疲れた）
15. 絵算で見る、拡張スタイルのモナドとモノイド・スタイルのモナド