1 problem

Cartesian multicategories as retromodels. The category of cartesian models is the category of retromodels of $\ifstrequal{S}{1}{\mathds{1}}{\mathbb{S}}^\mathrm{op}$ in…