News for hackers. Stuff that matters.

A comment on Seven Sketches in Compositionality: An Invitation to Applied Category Theory. Parent comment

Re:Seven Sketches in Compositionality: An Invitation to Appl... by ardani on Sunday July 07, 2019 @04:39PM (#20377692)
Tell me about it, I've been trying to develop a complete visual metaphor to category theory for years.

Edit: you're missing that to formulating the hard- and software stack we already have in a category theoretical metalanguage solves that problem also - but that requires overcoming DRM and lacking tooling for software analysis.

[ Parent | on HN ]
Re:Seven Sketches in Compositionality: An Invitation to Appl... by schwurb on Sunday July 07, 2019 @07:30PM (#20378709)
Dunno if that is helpful to you, but one tip from the link related it to always think of new CT constructs in terms of partially ordered sets if possible. They make for nice visualizations and are generally quite intuitive.
[ Parent | on HN ]