コラディニ／ガダッチ（Corradini/Gadducci）のGSモノイド圏のような等式（equational）スタイルで厳密（strict）な双デカルト・対称モノイド圏が定義されているとする。一方、マクレーン本のAb圏とまったく同様にAbMon圏を定義する。AbMonはアーベル（可換…

正規表現において、x* と x+ のどっちを基礎においてもかまわない。 x* = 1 + x+ x+ = (x*)x トレースを使ったスターの定義 Tr(∇;f;Δ) は、どちらかというと+の定義だと思ったほうがいいような気がしてきた。絵を見てもx+の絵だし、次の等式が状況証拠： x+ …

今日はダメー（ブログの記録は役に立つ） - 檜山正幸のキマイラ飼育記 (はてなBlog)の状況。どうしようなか？こういうときに美容院に行っておくのもテだが、それさえめんどくさい。Idempotencyが来ているから、これを眺めるか。Golan（著者）のSOME RECENT A…