昨日の「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,…