Эпиморфизм

Эпиморфи́зм, понятие, отражающее алгебраические свойства сюръективных отображений множеств. Морфизм $\pi:A\rightarrow B$ категории $\mathfrak{N}$ называется эпиморфизмом, если из равенства $\pi \alpha=\pi \beta$ следует равенство $\alpha=\beta$.