HoTT入門 -- 数理科学とカテゴリー論

2021/07/00 マルゼミ「HoTT入門 -- 数理科学とカテゴリー論」

参考資料・ショートムービー

1. カテゴリーを、まずは直観的に理解する (pdf video)
   
2. “String Diagram”による直観的な表現 (pdf video)