圏論とは、「ひらめきに自信を持つこと」なのかなあ... CWM難しいよお……(やっぱり環論とかの基礎知識を身につけてから挑むべきだったかも…) あるAという性質をもつ存在に対して、Bという性質も持たせたい時に、上手 … »