Lemma 93.7.4. In Example 93.7.1 assume $P$ is a finitely generated graded $k$-algebra. Assume $\Lambda $ is a complete local ring with residue field $k$ (the classical case). Then the functor
\[ F : \mathcal{C}_\Lambda \longrightarrow \textit{Sets},\quad A \longmapsto \mathop{\mathrm{Ob}}\nolimits (\mathcal{D}\! \mathit{ef}_ P(A))/\cong \]
of isomorphism classes of objects has a hull.
Comments (0)