模范畴

模范畴(category of modules)是一种重要的范畴。指所有以模和模之间的同态组成的范畴。利用范畴的观点来讨论模和环是一种重要方法。范畴是范畴论的基本概念之一。模同态是模论的重要概念之一。指两个模之间的一类映射。设M，N是两个A模，f是加群M到N的群同态，若f还保持A到M，N上的运算，即对任意a∈A，f(ax)=af(x)，x∈M，则称f是模同态，也称A同态。