Abelian group
アーベル群と群準同型の圏 Ab を考える。任意のアーベル群 "X", "Y", "Z" に対して、群の同型