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