In category theory, the concept of epimorphism is a generalization or strengthening of the concept of surjective functions between sets (example 3.2 below).
確定! 回上一頁