«psythea»
Profile
Activities
Memoranda
Miscellanea
home
/
tags
/
%E5%9C%8F%E8%AB%96
圏論
圏上の前層に関する備忘録