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 ピーター・メイ による簡略なスラ…