Definition 89.9.1. Let $p : \mathcal{F} \to \mathcal{C}_\Lambda$ be a category cofibered in groupoids. We say $\mathcal{F}$ is smooth or unobstructed if its structure morphism $p$ is smooth in the sense of Definition 89.8.1.

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).