Removed redundant Heading
Added remark about surjectivity of hom(_, A)
Counterexample to hom(_, A) being full