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