いやGrothendieckやDieudonne自身は、
あくまで具体例を先にたくさん学んでいて、それを彼らが抽象化したんでしょ