同型射
同型射(isomorphism)
可逆な射
圏$ Aの射$ fが対象$ aから$ bへの同型射であるとは、$ f: a \to bであり、$ g: b \to aという射$ gが存在し、$ g \circ f = 1_aかつ$ f \circ g = 1_bが成り立つことである。 このときの$ gは$ fに対して一意であり、$ fの逆射という。 $ 1_a, 1_b は恒等射?
code:isomorphism.mermaid
flowchart LR
subgraph A
direction LR
end
確認用
Q. 同型射
参考
関連