Post #3023671

@BartoszMilewski@mathstodon.xyz This is awesome! I'm very much in the same boat. Although I decided to limit myself to proarrow equipments only. That's why I have been working on my #haskell proarrow library for the last two years: https://github.com/sjoerdvisscher/proarrow In my case using double categories turned out to be annoying, so I switched to working with a single bicategory of proarrows, seeing the strict arrows as a sub-bicategory of tight/representable proarrows: https://github.com/sjoerdvisscher/proarrow/blob/main/src/Proarrow/Category/Equipment.hs But the double categorical view is better for diagrammatic reasoning.