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

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

A, Dの意味合い

  • A : one two, three, ...
  • D : double, quadruple, octuple, ...
  • Aは、ささやかな一律単利
  • Dは、エグい複利

出てくる圏

  1. Set(またはFinSet
  2. PtSet Aのクライスリ圏でありアイレンベルクムーア圏
  3. 極性付き対合付き集合の圏=不動点のない対合付き集合=コベクトル付き対合集合の圏=Aのクライスリ圏
  4. 対合付き集合の圏=Dのアイレンベルクムーア圏