Hacker News
points by sleepyams 4 days ago | 0 comments
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.
Aún no hay comentarios.
Hacker News