同型射
定義：逆射[inverse]
対象 $B$ から対象 $A$ へのある射 $g$ が存在して,\[g \circ f = 1_{A} \]および\[f \circ g = 1_{B} \]が成り立つとき,対象 $A$ から $B$ への射 $f$ は可逆[inverse]であるという.
定義：同型射[isomorphism]
対象 $A$ から $B$ への射 $f$ が可逆[inverse]であるとき同型射[isomorphism]という.
2つの対象の間に同型射[isomorphism]が存在するとき,2つの対象は同型であるといい,\[A \cong B \]とあらわす.
Mathematics is the language with which God has written the universe.
