前加法圏のひとつの対象 "a" に注目すると、これらの事実から自己準同型のhom集合hom("a","a")は合成を乗法にとると環になることが分かる。