このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

素材と道具

ミニマンダラ
  • モノイド圏
  • 体 D = F2 上の線形代数、またはその代替物。
  • モノイドの線形表現（たぶん有限次元）
  • ベナボウ・コスモスと豊饒圏とホム関手（外部、内部ホム）
  • エンドのモノイド構造
  • マイヒル／ネロードの定理

色々な圏

記法 意味
DAutom 決定性オートマトンの圏
NDAutom 非決定性オートマトンの圏
FinDAutom 決定性有限オートマトンの圏
FinNDAutom 非決定性有限オートマトンの圏
VectK ベクトル空間の圏
FdVectK 有限次元ベクトル空間の圏
Set 集合の圏
FinSet 有限集合の圏
LModA(C) A上の左加群の圏
RModA(C A上の右加群の圏