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

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

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

参照用 記事

2013-08-27から1日間の記事一覧

キュリアの格上げによる総称の解釈

「キュリアの格上げ」とは、圏の対象を関手、圏の射を自然変換とみなす方法です。ピエル=ルイ・キュリア(Pierre-Louis Curien)の "The Joy of String Diagrams"(http://hal.archives-ouvertes.fr/docs/00/69/71/15/PDF/csl-2008.pdf)を読んで初めて知っ…