I fail to see how a category theory perspective is going to help with "grinding out" any interesting theorems about commutative rings, such as:
- Every commutative ring has a maximal ideal.
- The quotient of a commutative ring by a maximal ideal is a field.
- The quotient of a commutative ring by a prime ideal is an integral domain.
- The classification of finitely generated modules over a principal ideal domain.
There are some universal properties which define what it means to be a quotient, which can help you work with them. But for example, the only "categorical" definition of prime ideals that I know is based on that third theorem.
I think it is easy to forget just how much underlying theory you need to know before you can check that the categorical analogues of definitions are even the same as the original ones.
- Every commutative ring has a maximal ideal.
- The quotient of a commutative ring by a maximal ideal is a field.
- The quotient of a commutative ring by a prime ideal is an integral domain.
- The classification of finitely generated modules over a principal ideal domain.
There are some universal properties which define what it means to be a quotient, which can help you work with them. But for example, the only "categorical" definition of prime ideals that I know is based on that third theorem.
I think it is easy to forget just how much underlying theory you need to know before you can check that the categorical analogues of definitions are even the same as the original ones.