Esto es de pg93, ex 4.1.27.
Deje $\mathcal{A}$ ser un local pequeño de la categoría, y deje $A,A' \in \mathcal{A}$$\operatorname{Hom}(-,A) \cong \operatorname{Hom}(-,A')$. Demostrar directamente que $A \cong A'$.
Mis pensamientos:
Deje $\eta$ denotar la natural isomoprhism entre los dos functors. Tenemos $$H(A,A) \xrightarrow{ \eta_A} H(A,A')$$ Por lo $\eta_A(id_A): A \rightarrow A'$ es un candidato. Ahora quiero construir inversa. $$ H(A',A') \xrightarrow{\eta_{A'}} H(A',A)$$ A continuación, el mapa de $\eta^{-1}_{A'} (id_{A'}):A' \rightarrow A$. Así que me gustaría mostrar que la composición es la identidad. Por la connaturalidad de la condición de $\eta$, $H_A(A) \rightarrow H_{A'}(A')$ (y de manera similar en otra dirección) $$ \eta_A(id_A) \circ \eta^{-1}_{A'}(id_{A'}) = \eta_{A'}(\eta_{A'}^{-1}(id_{A'}))= id_{A'} $$ Podemos deducir de estos dos mapas son inversos. Por lo tanto $A' \cong A$.
Es esto correcto? O es que hay una hermosa manera de ver esto?