Definition 89.16.8. A deformation category is a predeformation category $\mathcal{F}$ satisfying (RS). A morphism of deformation categories is a morphism of categories over $\mathcal{C}_\Lambda$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).