任意の環はアーベル群の圏abにおけるモノイド対象である(z-加群のテンソル積のもとでモノイド圏として考える)。