同型
同型(isomorphic)
同型と同じような定義であるもの
定義
$ a ≅ b である$ f : a → b，g : b → a が存在して $ g \circ f = 1_a かつ$ f \circ g = 1_b
$ a ≅ b
読み方: 元$ a と元$ b が同型
$ f : a → b，g : b → a
読み方: $ a から$ b への射$ f 、$ b から$ a の射$ g
$ g \circ f = 1_a かつ f \circ g = 1_b
読み方: gまるfイコール1aかつfまるgイコール1b
$ 1_a, 1_b : 恒等射
代数的に同じ？
確認用
Q. 同型
参考
関連