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