Definition 4.3.6. A contravariant functor $F : \mathcal{C}\to \textit{Sets}$ is said to be representable if it is isomorphic to the functor of points $h_ U$ for some object $U$ of $\mathcal{C}$.
Definition 4.3.6. A contravariant functor $F : \mathcal{C}\to \textit{Sets}$ is said to be representable if it is isomorphic to the functor of points $h_ U$ for some object $U$ of $\mathcal{C}$.
Comments (0)
There are also: