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

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

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

参照用 記事

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

右カン拡張が、自然変換のラムダ計算における指数型らしい件

ここ2,3日、カン拡張(Kan extension)を理解しようとジタバタしてました。どうにもイメージがつかめなくて四苦八苦。ワッカラーン。やっとこさで絵に描くことができました。フーッ。絵を描く前に記号法を: [C, D]は関手圏を表します。圏[C, D]の対象は、C→…