Bartosz Milewski on Nostr: That's a good idea. I will also sketch the main points and major obstacles in the ...

That's a good idea. I will also sketch the main points and major obstacles in the beginning.

My problem is that there isn't a lot of literature. There is Street with 2-categorical approach, Paré whose conventions are opposite of mine, Shulman and Koudenburg with virtual categories. And I have to translate everything to string diagrams (and Haskell code).