Hacker News
points by yccs27 4 days ago | 0 comments
For me the `cochoice` function feels like a recursion scheme, possibly a hylomorphism of some functor?
[–] sleepyams 4 days ago
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.
Hacker News