Hacker News new | ask | show | jobs
by adamnemecek 1199 days ago
Residual connection serves as a feedback/trace a la trace in traced monoidal categories. That is one insight I have gleaned from CT.
1 comments
resource0x 1199 days ago
You beat me to this. Indeed, of all categories the monoidal ones are the most potent. Look how nicely they fit in crypto ledgers: https://www.cl.cam.ac.uk/events/syco/3/slides/Nester.pdf

\s

link