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

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

2018-03-14から1日間の記事一覧

カン拡張の注意

左右のカン拡張(カン持ち上げでも)大事なことは、関手としてのカン拡張だけではなくて、自然変換である単位(左のとき)、余単位(右のとき)も一緒に考えること!左/右カン拡張の単位/余単位は、余/極限の余/錐に対応する。

左カン拡張の例

呼び名がないが、枠組みとして決める最初の関手拡張/持ち上げのルーラー関手(または単にルーラー)と呼ぶことにする。ルーラーに沿って拡張する。持ち上げのときは雰囲気違うけど、もう符丁でいいや。[追記]ルーラーの事情:「沿って」の語感から。基準/…