5 problems

Internal monotone-operator conjecture. The paper's axioms are sound when interpreted in the internally monotone operators $j: \Omega \to \Omega$ of any elementary topos…

Extended Weihrauch axiomatization conjecture. The proofs in the paper should work as-is to completely axiomatize the existence of morphisms between extended Weihrauch problems.

PSPACE conjecture. The problem is solvable in $\textsc{Pspace}$.

Let $\mathfrak{W}_\bullet$ be the pointed Weihrauch lattice equipped with meet $\sqcap$, product $\times$, and unit $1$, and let the paper's partial axiomatization be given by the…

Let $\mathfrak{W}$ be the Weihrauch lattice equipped with meet $\sqcap$, product $\times$, and unit $1$, and consider the partial axiomatization of inequalities over…