似た概念に記号法が色々ある。
もとになる関手 | 引き戻し | それに沿った右カン拡張 | それに沿った左カン拡張 |
---|---|---|---|
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つある状況。
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。