加群の圏
↑ 任意の加群は自由加群の商(準同型像)であるから明らか。