In category theory, a right inverse of a morphism f: X → Y is a morphism s: Y → X such that f ∘ s = id_Y.
圏論では、射 f: X → Y の右逆射とは、f ∘ s = id_Y を満たす s: Y → X の射のことです。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
