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

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

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

参照用 記事

2020-10-28から1日間の記事一覧

忘却関手は難しい

昨日の記事「圏論的線形代数をもう少し: 自由ベクトル空間の圏」では、忘却関手という概念を使っています。昨日の記事での「忘却関手」は、ベクトル空間に台集合を対応させるものでしたが、他に次のような例もあります。 モノイドに、結合法則を要求しない…