Definition:Left Cancellable Mapping

A mapping $$f: Y \to Z$$ is left cancellable (or left-cancellable) if:

$$\forall X: \forall g_1: X \to Y, g_2: X \to Y: f \circ g_1 = f \circ g_2 \Longrightarrow g_1 = g_2$$