>>91
グロタンディックが圏論の一発屋は、違うだろ。