Lemma 89.26.2. Let $\mathcal{F}$ be a deformation category. Let $U : \mathcal{C}_\Lambda \to \textit{Sets}$ be a deformation functor. Let $f: U \to \mathcal{F}$ be a morphism of categories cofibered in groupoids. Then $U \times _{f, \mathcal{F}, f} U$ is a deformation functor with tangent space fitting into an exact sequence of $k$-vector spaces

$0 \to \text{Inf}(\mathcal{F}) \to T(U \times _{f, \mathcal{F}, f} U) \to TU \oplus TU$

Proof. Follows from Lemma 89.20.1 and the fact that $\text{Inf}(U) = (0)$. $\square$

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).