https://www.youtube.com/watch?v=q8J0bbaZnRM バーグナー https://www.youtube.com/watch?v=2TmT-ui-0sU インナ(first name) https://www.youtube.com/watch?v=1QFC4clQQAE François Métayer https://www.youtube.com/watch?v=52HujNvYbAY ショマー=プリ Mé…

モノイドがリバーシブルだとは、r:M→Mop という同型射を備えているとき。オートマトンがリバーシブルだとは、単に作用するモノイドがリバーシブルであるとき。言語＝モノイドの部分集合に対して、リバース演算を拡張できる。よって、言語の順序集合（やせた…

モノイドの有限族〈finite family of monoids〉とは、圏論を使って定義すれば： Mは圏である。 |M|は有限集合である。 a, b∈|M|, a ≠ b ならば M(a, b) = ∅ このMがモノイドの有限族。モノイドの有限族は圏なので、準同型射＝関手で、終対象／始対象／直和／…

モデル圏については、nLab項目、 https://ncatlab.org/nlab/show/model+category を起点にnLab内を漁れば、だいたい分かるだろう。nLab内に、 https://ncatlab.org/nlab/files/ModelCatPrimer.pdf MODEL CATEGORIES PRIMER ピーター・メイ による簡略なスラ…

ってことだと思う。 ダニエル・キレン Quillen equivalence in nLab 次のビデオだと、Quillenは「クーレン」に聞こえる。 https://www.youtube.com/watch?v=52HujNvYbAY

管理画面には今でもアクセス可能。 http://d.hatena.ne.jp/m-hiyama/config [追記]2021-09-09： もうリダイレクト先が変わっている。[/追記]

ベックの分配法則の事例と計算法 - 檜山正幸のキマイラ飼育記 (はてなBlog) のTeX数式で、= や := が2つ以上入ると、横に長過ぎる。スマホで見ると横スクロールが発生してしまう。

アカウントを変えないとアクセス出来ないかも知れない。 http://s.hatena.ne.jp/m-hiyama/report http://s.hatena.ne.jp/m-hiyama-memo/report http://s.hatena.ne.jp/m-hiyama-taxon/report

モノイド圏 トレース／コンパクト閉圏 圏一般論 高次圏論 モナド indexed/fibred圏 多圏 ======== プログラム意味論 インスティチューション 余代数 量子計算 DFD TQFT 物理っぽい からみ系 論理 形式言語理論 janus msched WCC XML その他代数 ホッピングボ…