The Stacks project

Definition 101.44.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $f$ is a local complete intersection morphism or Koszul if the equivalent conditions of Lemma 101.16.1 hold with $\mathcal{P} = \text{local complete intersection}$.