Abelian group
アーベル群の圏 から擬環の圏 への忠実充満函手が、各アーベル群を、それに自明な積を入れたに対応させることで与えられる。