自然同型
naturally isomorphic
natural isomorphism in nLab
自然變換
$ \eta
が
自然同型
であるとは、
$ \eta
を構成する射 (成分 (component)) が全て
同型
射である事を言ふ
natural equivalence
natural equivalence in nLab
高次の
自然同型
equivalence in nLab
圈同値