22/03/27 10:18:36.48 w6WygvYx.net
>>545
お前A→Bという環準同型がある時、B右加群の圏ModBがA右加群の圏ModAの部分圏になってる話し頭に入ってないやろ
これこそ別スレで話題になってたmonado(この場合はかつcominado)の例やろ？
お前多分自分の中で“俺様ルール、俺様定義”が吹き荒れててそういう“ナチュラんな感覚”の理解が阻害されてるよ
無駄に厳密すぎる
松坂君2号にならんように気付や
22/03/27 10:18:36.48 w6WygvYx.net
>>545
お前A→Bという環準同型がある時、B右加群の圏ModBがA右加群の圏ModAの部分圏になってる話し頭に入ってないやろ
これこそ別スレで話題になってたmonado(この場合はかつcominado)の例やろ？
お前多分自分の中で“俺様ルール、俺様定義”が吹き荒れててそういう“ナチュラんな感覚”の理解が阻害されてるよ
無駄に厳密すぎる
松坂君2号にならんように気付や