用語「代数」(algebra)の意味ってなんでしょうかね? 思いつくのは:
「代数/余代数」の文脈での代数は、これらと何らかの関係を持つともいえるし、やっぱり別物だともいえます。メイッパイabstractに定義を述べれば:
F:C→Cが圏C上のendofunctorのとき、Cの対象xとCの射aの組で a:F(x)→x in C であるものをF-代数と呼ぶ。
となります。
こんな定義をいきなり出されたら、鳩が豆鉄砲ですよね。
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
用語「代数」(algebra)の意味ってなんでしょうかね? 思いつくのは:
「代数/余代数」の文脈での代数は、これらと何らかの関係を持つともいえるし、やっぱり別物だともいえます。メイッパイabstractに定義を述べれば:
F:C→Cが圏C上のendofunctorのとき、Cの対象xとCの射aの組で a:F(x)→x in C であるものをF-代数と呼ぶ。
となります。
こんな定義をいきなり出されたら、鳩が豆鉄砲ですよね。