>>477
つまりスリムな副有限群のなす圏が1圏になるってこと?
なんでスリムだと1圏になるんですか?