Definition 89.11.9. Let $\mathcal{C}$ be a category as in Lemma 89.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 ])$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).