圏論勉強会 第6回 @ ワークスアプリケーションズ@ワークスアプリケーションズ 中村晃一 2013年6月20日 謝辞 この勉強会の企画，会場設備の提供をして頂きました ㈱ ワークスアプリケーションズ様 にこの場をお借りして御礼申し上げます。 この会について 圏論(category theory)を題材にいろんなことを学びます。 分かり易さを重視して初歩的な例を多用します。 関数型言語の経験がある方がより楽しめると思います。資料中では主にHaskellを使います。 中高生も数人見ているらしいのでプログラミングと関係が浅い内容も取り上げます。 この資料はhttp://nineties.github.com/category-seminarに置いてあります。 第6回:積・余積・極限 第6回の内容 今回は「普遍性」という性質によって定義される様々な対象について見ていきます。また,それらの構成法の一つである「極限」という概念について紹介します。 終
