Inter-universal geometry と ABC予想 51

Inter-universal geometry と ABC予想 51at MATH

Inter-universal geometry と ABC予想 51 - 暇つぶし2ch493:１３２人目の素数さん
20/05/02 03:58:16.81 13zUhRr5.net
>>477
つまりスリムな副有限群のなす圏が1圏になるってこと？
なんでスリムだと1圏になるんですか？