1 problem

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…