CatDat

Implication Details

Assumptions: faithful, full

Conclusions: conservative

Proof: If $F(f)$ is an isomorphism, its inverse has the form $F(g)$ since $F$ is full. Since $F$ is faithful, it follows that $f$ is inverse to $g$.