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

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

Y*圏とか

セミナー M3

iIY圏は発音しにくいのでY*圏にしよう。

  • Y0 = i
  • Y1 = I
  • Y2 = Y
  • Y3 = (YI);Y = (IY);Y

関連することは：

  • MapFO
  • MapFOによる表現、1の3乗根
  • MapFOによる表現、右自明モノイド＝更新（破壊的代入）モノイド
  • MapFOによる表現、1の2乗根、involution、一般化した鏡映、不動点
  • コボルディズム圏、さかさズボンと腹巻きと帽子
  • 空間幾何グラフの円バンドル
  • 足し算とゼロから生成される算術の圏とY*圏
  • 証明図とY*圏
  • Y*圏の行列表示
  • Y*圏のMapFO表示
  • Y*圏からアミダの圏
  • アミダの圏とスワップマシン
  • スワップマシンと共有メモリと競合
  • 並列処理と非決定性遷移と関係圏
  • 関係圏とブール係数行例