The Stacks project

Definition 101.39.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Consider a $2$-commutative solid diagram

where $A$ is a valuation ring with field of fractions $K$. Let

be a $2$-morphism witnessing the $2$-commutativity of the diagram. (Notation as in Categories, Sections 4.28 and 4.29.) Given (101.39.1.1) and $\gamma$ a dotted arrow is a triple $(a, \alpha , \beta )$ consisting of a morphism $a : \mathop{\mathrm{Spec}}(A) \to \mathcal{X}$ and $2$-arrows $\alpha : a \circ j \to x$, $\beta : y \to f \circ a$ such that $\gamma = (\text{id}_ f \star \alpha ) \circ (\beta \star \text{id}_ j)$, in other words such that

is commutative. A morphism of dotted arrows $(a, \alpha , \beta ) \to (a', \alpha ', \beta ')$ is a $2$-arrow $\theta : a \to a'$ such that $\alpha = \alpha ' \circ (\theta \star \text{id}_ j)$ and $\beta ' = (\text{id}_ f \star \theta ) \circ \beta$.