ホップ代数の対蹠
この記事に、対蹠射（antipode）Sの可換図式が載っている。
- Δ;(S×id);∇ = ε;η
- Δ;(id×S);∇ = ε;η
ということで、ほぼ予想通り。ε;ηはゼロ射と同じものだろうからθと置くと：
- Δ;(S×id);∇ = Δ;(id×S);∇ = θ
となり、逆元の定式化に近くなる。
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
この記事に、対蹠射（antipode）Sの可換図式が載っている。
ということで、ほぼ予想通り。ε;ηはゼロ射と同じものだろうからθと置くと：
となり、逆元の定式化に近くなる。