2021-12-28に見たら、2006年の記事 https://m-hiyama.hatenablog.com/entry/20060419/1145432492 の体裁が崩れていたので修正： 手書きしていた目次をはてな記法の「:contents」に変更 見出し先頭の「●」を削除 生のpreタグを使っていたところを、はてな記法…

線形代数 セオリー論 事例1：遷移系 事例2：階層構造 基底 指標 集合＝アルファベット 単純DAG＝ハッセ図 基底の要素 記号セル 要素＝文字 アロー、辺 線形結合 コンビネーション 文字列＝ストリング パス 自由ベクトル空間 セオリー 自由モノイド 自由やせ…

ロマンの"Profunctor optics and traversals" https://arxiv.org/pdf/2001.08045.pdf のp.55 の The profunctor representation theorem 内部ホムを使って書けば：淡中対象の定義形をあわせると：少し違う、この違いを解消したい。たぶん、同時淡中対象〈joi…