A代数(とその間の準同型)ってA/Ring(category of objects under A)ていう理解できて、そう見ると(構造射が)比較的納得できると思っているんだけど、そう定義している人を見ないそもそもこの理解に間違いがある?