Let $C$ be a category. I have proved that for each $X\in Obj(C)$, $C(-,X): C\longrightarrow S$, where $S$ is the category of sets, is a contravariant functor. How to prove the following further results?
(1). Let $F:C\longrightarrow S$ be a contravariant functor. For each $X\in Obj(C)$, let $H_x$ denote teh set of all natural transformations $C(-,X)\longrightarrow F$. Prove that the map $H_x\longrightarrow F(X)$ defined by $\tau\mapsto \tau(Id_X)$ is bijective.
(2). $X$ and $Y$ are isomorphic objects in $C$ if and only if $C(-,X)\simeq C(-,Y)$.