This is poor man's Chu spaces http://chu.stanford.edu | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		adamnemecek on Oct 12, 2019 \| parent \| context \| favorite \| on: String Diagrams for Linear Algebra This is poor man's Chu spaces http://chu.stanford.edu

lidHanteyk on Oct 13, 2019 | [–]

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 on Oct 13, 2019 | | [–]

Ok, but where are the string diagrams for Chu spaces?

adamnemecek on Oct 13, 2019 | | [–]

https://boxbase.org/entries/2019/jul/15/chu-construction/

Strings is the canonical example for Chu spaces.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact