2 problems

Let $\mathbb{A}$ be an augmentation category, and let $\mathcal{G}_n^\mathrm{sm}(\textbf{dAff})$ and $\mathbb{A}\text{-}\mathcal{G}_n^\mathrm{sm}(\textbf{dAff})$ denote the homotop…

Let $(\mathcal{C},\tau)$ be a site, let $\mathbb{A}$ be an augmentation category, and let $f\colon\mathcal{F}\to\mathcal{F}'$ be a map in $\mathbb{A}\textbf{-Pr}(\mathcal{C})$. A l…