1.3 自然変換 前回関手を導入しました。これにより異なる圏の間の射が定義できたことになるので、圏の同型も定義できることになります： 定義（圏の同型）：２つの圏およびその間の関手が存在するとき、関手が同型であるとは、逆向きの関手が存在して かつを…