「インデックス付き圏のフビニ／グロタンディーク同値」より： ここ2,3日考えていたことがあります。その動機とか背景とかを説明すると「けっこう面白い」かと思うのですが、長くなるので結論（になるはずのこと）だけをザッと述べます。一言だけいっておく…