モニック射
圏論において射 f: X → Y がモニックであるとは、すべての対象 Z と任意の射 g1, g2: Z → X に対して、
f ∘ g 1 = f ∘ g 2 {\displaystyle f\circ g_{1}=f\circ g_{2}} ならば g 1 = g 2 {\displaystyle g_{1}=g_{2}}
が成り立つことを言う。この性質を左簡約可能(left cancelable)性と呼ぶ。すなわち、モニック射とは左簡約可能性を持つ射であると言える。