このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

カン拡張っぽいアレコレ

似た概念に記号法が色々ある。

もとになる関手 引き戻し それに沿った右カン拡張 それに沿った左カン拡張
J J*(G) J*(F) J!(F)
J J*(G) RanJF LanJF
Gの逆像 Fのコホモロジー順像 Fのホモロジー順像
J ΔJG ΠJF ΣJF
射影関数 ∀x.f ∃x.f
J Jによる非対称テンソル Jによる指数(ベキ)

なにかしらの引戻し(逆像)があるとき、随伴となる前送り(順像)が左右の2つある状況。