CatDat

Implication Details

Assumptions: one-wayzero morphisms

Conclusions: thin

Reason: If f,g:ABf,g : A \rightrightarrows B are two morphisms, then since 0B,B=idB0_{B,B} = \mathrm{id}_B we have f=0B,Bf=0A,B=0B,Bg=gf = 0_{B,B} \circ f = 0_{A,B} = 0_{B,B} \circ g = g.