figures/2022-01-09_12-23-25.png
- Regard \(f \in {\mathsf{Sch}}(X, T)^\flat\) as a family of schemes \(X_t\) parameterized by \(t\in T\).