A を可換環とする。
A-線型環と A-準同型のなす圏を A-Alg と書く。