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

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

バートレットのダガー

θ::F⇒G が2-射で、F*, G*がそれぞれF, Gの右双対(F -| F*、G -| G*)のとき、θθΨを次のように定義する。

  • θ = (η・G*);(F*・θ・G*);(F*・ε) : G*→F*
  • θΨ = (G*・Ψ(η));(G*・θ・F*);(Ψ(ε)・F*) : G*→F*

ようするに、ジグザグを利用して作った射に関する双対だが、バートレットはスター記号「θ*」は使わない流儀。θは、右双対構造から自然に決まる転置射。θΨは、フリッピングΨを使って作ったひっくり返し。Ψがあって初めてθが作れるので、Ψも添えている。次がバートレットの基本的な要請;左右平等等式(the even-handed equation)

  • θ = θΨ

軸的(pivotal)圏の軸反転(pivoting)とよく似ている。