4 problems

Let $k\geq 2$, and consider the complex … Assume that $\beta$ is surjective and that $\alpha$ degenerates in codimension $2$; equivalently, the cokernel in degree $0$ is…

Dibinary extension-monad conjecture. The extension monad of $cmathbb{A}$ has the same underlying set as the extension monad of its $cbeta$ reduct.

Equivalence conjecture. The assignment sending $(X,(P,f))$ to the corresponding lax algebra for $F^\kappa$,

Let $t$ be a monad equipped with an exceptional structure, and let the purported trace on the category denoted by $\mathbf{DK}_{t}$ be the trace constructed above from the correspo…