また、二つの函手F,Gに対し、FからGへの自然同型が存在するとき、FとGとは自然同型(naturallyisomorphic)あるいは単に同型であるという。
对两个函子F和G，若存在从F到G自然同构，则称F和G为自然同构的，或简称为同构的。