«psythea»
Profile
Activities
Memoranda
Miscellanea
home
/
tags
/
圏論
圏論
圏上の前層に関する備忘録