圏論は計算機科学や関数型言語だけでなく、他分野においても理論を記述するための共通言語として広く使われています。 このトークではPerlのコードを通して圏論に触れると共に、圏論の言葉で記述された概念をいくつか取り上げ、圏論とはどのようなものかその雰囲気を紹介します。

タイトルはこちらの本のパロディです。 http://www.maths.ed.ac.uk/~aar/papers/maclanecat.pdf

想定する聴衆

• Perlの基本的な文法がわかる人
• 数学が好きな人
• Arrow や Lens という単語を聞いたことがある人

【追記】トーク数多いので、20分に短縮しました。

There is growing interest in category theory for various fields containing computer science. I'll introduce category theory by using some perl codes. You may be interested in Arrow and Lenses of Haskell. I'm going to give introduction of these ideas.