15:00 - 15:40 世界一やさしい圏論の授業 by Guvalif

[taisukeoe]

No description provided.

[Guvalif]

【このセッションで行うこと】

「モナドは単なる⾃⼰関⼿の圏におけるモノイド対象だよ。何か問題でも︖ ~ フィリップ・ワドラー」

おそらく、関数型プログラミングや圏論を学ぼうと考え、このような⾔葉に⾏きついた⽅は少なくないでしょう 😇
もしくは、初学者⽤の本と期待して Saunders MacLane 著の「圏論の基礎」を⼿に取り、
難解な数式や抽象的な図式を前にし、挫折してしまった⽅も多いのではないでしょうか 🤔

本セッションでは、自分⾃⾝が圏論を学ぶ上でつまずいた事柄を踏まえながら︓

• 抽象的な定義の誤解ポイントはどこか︖
• 抽象的な定義の具体例は何か︖

といったところにフォーカスしながら、プログラミングと圏論の繋がり， および抽象化の⼀⼿法である「函手 / 自然変換」の理解に至る道筋を、参加者とコール & レスポンスに近い形で作り上げられたら，という試みです 📝