誰も数学をはなさないのでちょっと書き足すと
ｐ進体上の双曲代数曲線等や数体や局所体のガロア群もスリムだから
それらガロア圏たちのダイアグラムも１圏になりますね
これらの群がスリムであることは非自明だけどそれが何から出るかぐらいは勉強しようねｗ