epimorfismus

"Epimorfismus" je termín používaný v matematice, konkrétně v teorii kategorií a abstraktní algebře. Epimorfismus je morfismus (tj. zobrazení mezi matematickými strukturami), který je "surjektivní" nebo "na". To znamená, že pro každé dva morfismy g a h, pokud g ∘ f = h ∘ f, pak g = h. Jinými slovy, epimorfismus je morfismus, který lze zrušit zprava. V teorii kategorií je epimorfismus definován jako morfismus f: X → Y takový, že pro každé dva morfismy g, h: Y → Z platí: pokud g ∘ f = h ∘ f, pak g = h. Příklady epimorfismů zahrnují: * Surjektivní funkce mezi množinami * Surjektivní homomorfismy mezi algebraickými strukturami (např. grupami, kruhy) * Surjektivní lineární zobrazení mezi vektorovými prostory Epimorfismy hrají důležitou roli v mnoha matematických teoriích a jsou používány k popisu různých vlastností a vztahů mezi matematickými objekty.