>>720 の元ネタも知りたいです。
Galois 圏と淡中圏と統一する研究って現在なされているんでしょうか？
また、Galois 圏と淡中圏とを統一しようとするにあたって、>>720 が言ような具体問題意としてどのようなものが考えられるのでしょうか？