グロタンディークは、考えた
おれさまが、圏論で暴れるには
いまの集合論は狭い、狭すぎる

そこで おれさまのための
広い宇宙を考えたのです
それが、グロタンディーク宇宙！
やっぱ、グロタンディークは天才ですね　；ｐ）