natural isomorphism

名詞

(category theory) A natural transformation whose every component is an isomorphism.

日本語の意味

圏論において、各対象に対する自然変換であり、その各成分が同型写像となるもの

The equivalence between the representable functors was established by exhibiting a natural isomorphism between them.

表現可能な関手間の同値は、それらの間の各成分が同型となる自然変換を示すことで確立された。

意味（1）

(category theory) A natural transformation whose every component is an isomorphism.

natural isomorphisms

（ plural ）