圏同値
関手 F : C → D が圏同値を定める必要十分条件は以下の3条件を満たすことである。