型射

【定義】型射[morphism]

ある数学的構造を持つ数学的対象から別の数学的対象への構造を保ったままで[structure preserving]の写像のことを型射もしくは射といいます．

数学的構造[mathematical structure]が全く同じ場合は同型[isomorphic]といいます．

数学的対象 $G$ と $G'$ を考えたとき，$G \to G'$ が準同型写像であり，かつ，$G' \to G$ も準同型写像である場合が同型[isomorphic]となります．

Mathematics is the language with which God has written the universe.