>>96
（答えにはなってませんが）
代数的Ｋ理論は、そういった事を視野に入れてるのでは
ないでしょうか。