圏論化は一通りには決まらない。 現状、圏論化はscienceではなくart。 それでもできるだけ系統的に圏論化したい。 圏論化の前 非可換環は「必ずしも可換とは限らない環」のこと。 足し算あり 足し算なし 非可換環 モノイド 可換環 可換モノイド R-左加群 M-…