Introduction to Category Theory/Sets and Functions - Wikiversity

Introduction to Category Theory/Sets and Functions - Wikiversity: "For every set X and every two functions {\displaystyle f_{1},f_{2}:X\to Y} the following holds: {\displaystyle g\circ f_{1}=g\circ f_{2}} if and only if {\displaystyle f_{1}=f_{2}} . In this case, the function g is called monic."



'via Blog this'