2 problems

Let $\operatorname{Lie}^{\operatorname{perf}}_{\Bbbk}\coloneqq\operatorname{Alg}_{\operatorname{Lie}}(\operatorname{Perf}_{\Bbbk})$ be the $\infty$-category of Lie algebras whose u…

Let $R$ be a complete local ring, and let $F$ be a short complex in the perfect-complex category, meaning a short complex in $\operatorname{perf} R$ supported on the maximal ideal.…