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.
[ Parent
| on HN ]
There are no comments on this comment yet.