Pedro Amorim on Nostr: I have thought about this as well. My tongue in cheek way to phrasing it is that the ...

I have thought about this as well. My tongue in cheek way to phrasing it is that the main theorem of your paper should never be "this cursed gadget of mine is a (monoidal, bi, etc) category"