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

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

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

［参照用 記事］

Int（GoI）構成

コンテンツ追加
  • Int（GoI）構成 ： トレース付き対称モノイド圏CからInt構成（GoI構成）により圏Gを作る。構成したGが実際に圏であることを確認する。

図が右にかしいだり、左にかしいだり、、、まっ、いいや。