5 problems

String-diagram conjecture for dependence categories. The string diagrams for dependence categories should be similar to those presented for physical duoidal categories, with the on…

Physical duoidal category conjecture. Physical duoidal categories also form isomix linearly distributive categories.

Let a produoidal category be a categorical structure whose normalization is under consideration, and let Garner and López Franco's normalization procedure for duoidal categories be…

A produoidal category is a duomulticategory in which dinatural composition is invertible in the sense that it induces an isomorphism. Produoidal normalization conjecture. The norma…

Dwyer–Hess's duoidal structure conjecture. This transformation underlies a duoidal, or 2-monoidal, structure on symmetric sequences, in which the two monoidal structures interact b…