# Vaguely >Is there a criterion to deduce that a morphism between algebraic stacks is finite based on the local deformation functors? For sure this is not enough, so let me be more specific. # Specifically Suppose $f: X \to Y$ is a morphism of algebraic stacks. Let us assume in addition that the diagonal $\Delta_f : X \to X \times_Y X$ is finite and unramified. Now assume that for each point $x \in |X|$ of finite type over $y \in |Y|$ the morphism between the (pro-representing rings of the) deformation functors is finite. >Under these conditions can we assume $X \to Y$ is finite?