Re:Arrows to arrows, categories to queries (2025)
by yccs27 on Wednesday November 04, 2026 @08:45AM
(#50365434)
For me the `cochoice` function feels like a recursion scheme, possibly a list-hylomorphism?
[ Parent
| on HN ]
Re:Arrows to arrows, categories to queries (2025)
by sleepyams on Wednesday November 04, 2026 @09:25AM
(#50365954)
Yes, I think these are related-ish, also to traces on symmetric monoidal categories. If you have any algebraic/categorical formalization of wiring diagrams, this is essentially taking a block with inputs A and C and outputs B and C and connecting the C output to the C input with a self-loop.