Beck torsors, formally unramified objects, and Kähler differentials

Nicholas Mertes

Let $\mathcal{C}$ be a category with pullbacks. We define a $\text{Beck torsor}$ in $\mathcal{C}$ as a morphism $Z\to Y$ in $\mathcal{C}$ which is a torsor for a Beck module over…