ラックス単位律とは、ラックス・モノイド関手の左または右単位律。これの、ポイントフリー記述が結構難しい。左ラックス単位律の左辺を成分表示するが、上から下のストリング図で3つのパートに分ける。 ι ⊗ id_{F(X)} ν_{(J, X)} F(l_{X}) 反図式順にして: …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。