HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by adamnemecek | Hacker News Reader
Full thread
adamnemecek
·
This is poor man's Chu spaces
http://chu.stanford.edu
View on HN
lidHanteyk
·
It's poorman's category theory. The PROPs being manipulated here form a category. I'm not sure how Chu spaces in particular are related, although I don't doubt that they are.
mathgenius
·
Ok, but where are the string diagrams for Chu spaces?
adamnemecek
·
https://boxbase.org/entries/2019/jul/15/chu-construction/
Strings is the canonical example for Chu spaces.
Reply on news.ycombinator.com