プログラミング世界に見る圏 — プログラマ向け圏論入門 2

プログラミング世界における圏の話をしました。 「型」が対象で、「関数」が射です。そしてカリー化によって美しく表現されます。 01:38 歴史 05:19 プログラミングにおける圏とは 10:43 例 24:47 どんな関数も圏を成す？ 45:53 感想 前回の動画「圏とは？」 →    • 圏とは？プログラマに人気と噂の圏について話します。 プログラマ向け圏論入門 1   #圏論 #プログラミング #ラムダ計算 #圏 #λ #プログラマ 🦜 X フォローお願いします！ ムー https://x.com/moo_is_gone zaru https://x.com/zaru 👨‍💻 ムーザルについて ムーザルは、ムーとzaru（ざる）の現役プログラマな二人のコンビです。 技術や物作りが好きで、楽しんで開発ができるような動画を投稿しています。 チャンネル登録やグッドボタンで応援してくれると嬉しいです。 「この技術の解説動画が見たい！」などのリクエストコメントもお待ちしております！