Definition:Right Cancellable Mapping

A mapping $$f: X \to Y$$ is right cancellable (or right-cancellable) if:


 * $$\forall Z: \forall h_1: Y \to Z, h_2: Y \to Z: h_1 \circ f = h_2 \circ f \implies h_1 = h_2$$