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

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

メモする!

当面はヤコビ微分圏の定義をなんとか再現する。

たいして情報はないし、一番大事な情報は絵算だったが残ってないし… デカルト微分圏と接圏の定義から調べ直さないとダメだろう。クッソー!

他に今は自明だと思っていることをメモする。

  • 自然演繹の改良版、その双対性と随伴性をちゃんと定義する。
  • デカルト圏の随伴を使った定義

一般教養的なもの。

  • 古典的数体論