また、二つの函手 "f", "g" に対し、"f" から "g" への自然同型が存在するとき、"f" と "g" とは自然同型(naturally isomorphic)あるいは単に同型であるという。