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

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

バートレット・フリップとヤンキング

ブルース・バートレットは、次の主張をしている。

  • 双対と随伴は区別する必要はない。
  • 双対概念は、大域的な割当として考えるべきではない。
  • すなわち、双対が存在するのは圏の性質であって構造ではない。
  • 局所的な双対の割当に対してスター記号やダガー記号を使う。

なるほどねーー。たいした若者だ。

んで、バートレット・フリップがある状況でジグザグ(スネーク)を使えばヤンキングが出るって話。

  1. ヤンキングの絵を描く。
  2. ∩の部分をバートレット・フリップする。
  3. クロスオーバーで交差をなくす。
  4. ジグザグを伸ばす。

アスキー図で描いてみる。


| ∩
|∩ | X
X | ⇒ X | ⇒ (下へ)
|∪ |∪


| ∩ | ∩
||| |||
\ X ⇒ ∪ |
X \ |
/ \/

目を細めれば、なんとか見えるのでは。