絵算からテキスト、そして可換図式化もやってみた（当然疲れた） - 檜山正幸のキマイラ飼育記 (はてなBlog)

「絵算のテキスト化を完全にやってみた（超・疲れた）」において、絵算の計算過程を、行列レイアウトの等式的推論としてテキストに写し取ってみました。これは、値を変えずに項を変形していく過程で、通常の等式変形（等式論理系における証明）そのものです。 ところで圏論では、可換図式が多用されます。可換図式が、圏論で一番ポピュラーな記述・計算デバイスなのです。この記事では、絵算やそのテキスト表現を可換図式にしてみます。また、この機会に可換図式に関する説明もします。 内容： 結合律の可換図式 この可換図式はどうやって作ったか 可換図式とは何なのか 可換図式と他の表現方法 おわりに 結合律の可換図式 以下の記事達で、強モナドから作られたモノイドの結合律を題材にしました。 新しい絵算手法：ストリング＋ストライプ図 絵算のテキスト表現（結論：疲れる） 絵算のテキスト化を完全にやってみた（超・疲れた） もとの定理（