代数の初歩、圏の定義くらいでない?