自然変換の概念に馴染むことから圏論の応用へ

この講座では、まずは自然変換の概念に馴染むことを目標にします。また自然変換と関係の深い概念として、関手の随伴を定義します。さらに随伴や極限という概念を用いて記述される圏の例としてカルテシアン閉圏というものを紹介します。

上で述べたカルテシアン閉圏と関係の深いテーマとして、論理や計算の抽象化について扱っていきます。高校の数学で言えば、集合と論理というところで命題の真偽や必要条件十分条件、対偶や背理法などといった概念を学びますが、これらは数学における命題や証明を扱うための枠組みです。。

※2018年度に開講済みです。次回の開講は、詳細が決まり次第こちらのHPに情報を更新します。