[B! monadBase] hirataraのブックマーク

Born in Tomakomai city - 今日は「モナド基礎勉強会 vol.2」の日です

名古屋大学で開催されているモナド基礎勉強会 vol.2に来ています。「圏論の導入、特にモノイダル構造」 / @t6sさん圏 : (Universeを仮定。有効グラフから) 圏の例 : Set, Hask (とか), モノイド(Objectが一つの圏), poset 関手 : 圏から圏への射。射関数と対象関数。sourceとtargetを保つ。合成とidを移す。lawはDで満たされてるので不要関手の例 : グラフの圏、Maybe 自然変換 : 関手圏の2-cell。対象から射の関数モノイダル圏 : \(\otimes, 1, \alpha, \lambda, \rho\) これだけだと\(((a \otimes b) \otimes c) \otimes d \simeq a \otimes (b \otimes (c \otimes d))\)の同型が複数になるコヒーレンス定義の

hiratara 2015/03/22

に参加した皆様、お疲れさまでした。

monadbase

リンク

モナモナ言うモナド変換子入門

モナモナ言うモナド変換子入門 hiratara March 21, 2015 前回についてわかめのモナド浸しモナモナ言うモナド入門圏の基礎的な概念の定義モノイダル圏の定義モナドは自己関手圏のモノイド今回の内容モノイド変換子 Monatron による lifting monoidal 圏 [復習] \((\mathbb{C}, \otimes, I, \alpha, \lambda, \rho)\) がモノイダル圏とは、 \(\mathbb{C}\) 圏 \(\otimes : \mathbb{C} \times \mathbb{C} \to \mathbb{C}\) 双関手 \(I \in \mathbb{C}_0\) \(\alpha : - \otimes (- \otimes -) \Rightarrow (- \otimes -) \otimes -\) 自然同型 \

hiratara 2015/03/21

の発表資料をアップしたとこ。