generated at
F-代数準同型

定義
下図を可換にするものような射f:A\to Bのこと