[rocqua]

I have some vague knowledge of category theory, but not enough to follow your argument here. Especially the concept of an 'Arrow' could you explain more clearly what an arrow, and an arrow comprehension is?

[Garlef]

https://en.wikipedia.org/wiki/Arrow_(computer_science)

https://en.wikipedia.org/wiki/List_comprehension

https://www.haskell.org/arrows/syntax.html

https://www.sciencedirect.com/science/article/pii/S157106611...