プログラマのための圏論勉強会 (2018/10/16 18:30〜)難易度の目安： ★☆☆：圏論の知識は不要 ★★☆：圏論の基礎的な概念（圏・関手・自然変換など）を知っていると聞きやすい ★★★：圏論の基礎的な概念は既知とする 講演概要 トポロジーと圏論の夜明け 〜 佐野 岳人 18世紀にオイラーが多面体は「頂点 - 辺 + 面」が一定になることを発見し、20世紀初頭にポアンカレが "柔らかな図形" を扱える「トポロジー」を創設しました。20世紀中期、トポロジーで用いられる代数的手法をアイレンバーグ・マックレーンらが公理化して出来たのが圏論です。 トポロジーはグラフ理論や TDA（Topological Data Analysis）において、圏論は型理論や証明支援系において用いられ、これらの理論は数学だけでなくコンピュータ科学やエンジニアリングにおいても重要になってきています。しかしそのルーツが20世紀以降の抽象数学にあることから、数学専攻でない人たちが学
