Definition 90.11.9. Let $\mathcal{C}$ be a category as in Lemma 90.11.8. Let $F : \mathcal{C} \to \textit{Sets}$ be a functor such that $F(R)$ is a one element set. The tangent space $TF$ of $F$ is $F(R[\epsilon ])$.
Definition 90.11.9. Let $\mathcal{C}$ be a category as in Lemma 90.11.8. Let $F : \mathcal{C} \to \textit{Sets}$ be a functor such that $F(R)$ is a one element set. The tangent space $TF$ of $F$ is $F(R[\epsilon ])$.
Comments (0)