Definition 84.27.1. Let $a : Y \to X$ be a morphism of simplicial schemes. We say $a$ is cartesian, or that $Y$ is cartesian over $X$, if for every morphism $\varphi : [n] \to [m]$ of $\Delta$ the corresponding diagram

$\xymatrix{ Y_ m \ar[r]_ a \ar[d]_{Y(\varphi )} & X_ m \ar[d]^{X(\varphi )}\\ Y_ n \ar[r]^{a} & X_ n }$

is a fibre square in the category of schemes.

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