20180902
今日の圏論では圏論の基礎の大きな圏と関手のところを読んでいました。