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

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

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

参照用 記事

「代数」という言葉

用語「代数」(algebra)の意味ってなんでしょうかね? 思いつくのは:

  1. 代数学という分野
  2. 古典的な方程式論、または「方程式に関係した」という形容詞
  3. 多元環」という訳語(意訳)もある特定の代数構造
  4. さまざまなダレソレ(人名)代数(e.g. ホップ代数、フロベニウス代数)

「代数/余代数」の文脈での代数は、これらと何らかの関係を持つともいえるし、やっぱり別物だともいえます。メイッパイabstractに定義を述べれば:

F:C→Cが圏C上のendofunctorのとき、Cの対象xとCの射aの組で a:F(x)→x in C であるものをF-代数と呼ぶ。

となります。

こんな定義をいきなり出されたら、鳩が豆鉄砲ですよね。

(なんとなく続く)