2013-07-03から1日間の記事一覧
昨日の「zipが自然変換だという話」において、zipの自然性は次の可換図式で表現できると述べました。 PLL(A, B) - zip_(A,B) → LP(A, B) | | PLL(f, g) LP(f, g) ↓ ↓ PLL(C, D) - zip_(C,D) → LP(C, D) ここで、PLLとLPは、C×C→C という関手です。A, B, C,…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
昨日の「zipが自然変換だという話」において、zipの自然性は次の可換図式で表現できると述べました。 PLL(A, B) - zip_(A,B) → LP(A, B) | | PLL(f, g) LP(f, g) ↓ ↓ PLL(C, D) - zip_(C,D) → LP(C, D) ここで、PLLとLPは、C×C→C という関手です。A, B, C,…