2023.04.06
https://gyazo.com/f426072337611339a779198001dbca87
後：
2023.04.05
前：
2023.04.07
#日報
読んだ
活躍する圏論 - 具体例から学ぶアプローチ
応用圏論
のほうがなんというか性に合っている気がする
整理した
古典論理で成り立つが直観主義論理では成り立たないものの証明
思った
圏論についての学習法1: 圏論について学習しない