2013年 圏論勉強会 資料

第1回:圏論って何?
第2回:モノイド・群
第3回:様々な圏
第4回:射で考える
第5回:様々な射
第6回:積・余積・極限
第7回:様々な極限,代数的データ型
第8回:$\omega$余極限,連続性,プログラム運算
第9回:領域理論・不動点意味論
第10回:始代数・終余代数と不動点,型函手
第11回:指数対象・デカルト閉圏
第12回:自然性・米田の補題
第13回:随伴・モナド