4 problems

Antiderivatives and FTC-pairs conjecture. It should be possible to strengthen the known connection and obtain a correspondence between having antiderivatives and having every (co)f…

Let $\mathbb{S}$ be a monad whose functor does not preserve the Cartesian $k$-linear structure, so that its Kleisli category may fail to be a Cartesian differential category. Tange…

Zinbiel integral transformation conjecture. In the case of Zinbiel algebras, the transformation defined on tensors by

Integral combinator transformation conjecture. Integration in this setting should be captured by such an integral combinator transformation. Its axioms should be analogous to those…