2 problems

Let $\mathcal{A}$ and $\mathcal{B}$ be finite relational structures, and let $\mathbb{PR}_{k}$ denote the pebble-relation comonad for a fixed positive integer $k$. A morphism…

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