21世紀にもなって圏論が抽象的で教育の観点で有害と思ってるアホがいるのが不思議。おじいさん?