100.3.3.1
$$\label{stacks-morphisms-equation-diagonal} \vcenter { \xymatrix{ \mathcal{X} \times _{\mathcal{X} \times _\mathcal {Y} \mathcal{X}, a} T \ar[d] \ar[r] & \mathit{Isom}_\mathcal {X}(x, x') \ar[d] \\ T\ar[r]^-\alpha & \mathit{Isom}_\mathcal {Y}(f(x), f(x')) } }$$

There are also:

• 4 comment(s) on Section 100.3: Properties of diagonals
• 1 comment(s) on Lemma 100.3.3

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