CatDat

right cancellative

A category is right cancellative if for every morphism f:ABf : A \to B and every parallel pair of morphisms g,h:CAg,h : C \to A with gf=hfg \circ f = h \circ f we have g=hg = h. Equivalently, every morphism is an epimorphism.

Relevant implications

Examples

Counterexamples

Unknown

For these categories the database has no info if they satisfy this property or not.