Bartosz Milewski on Nostr: I'm a little confused. When using string diagrams in a cartesian category, the ...

I'm a little confused. When using string diagrams in a cartesian category, the (invisible) unitors and associators are the canonical ones? E.g., \(\rho = \pi_1\) and \(\lambda = \pi_2\). Because, apparently this is not the only choice. https://mathoverflow.net/questions/344767/unitors-and-projections-in-cartesian-category