News for hackers. Stuff that matters.

A comment on Applied Category Theory in Chemistry, Computing, and Social Networks [pdf].

Re:Applied Category Theory in Chemistry, Computing, and Soci... by lgdw on Tuesday November 01, 2022 @01:03PM (#33423983)
If anyone is interested in Applied Category Theory, definitely check out the Topos Institute in Berkeley [1]. They do weekly seminars that they post on youtube and a really intriguing blog. I must say that David Spivak is a treasure to hear speak. 7 Sketches in Compositionality [2] was my introduction into Category Theory (written by Spivak and Brendan Fong, another member of Topos), and it really sold the idea of Category Theory as a field that's not just a mathematical meta-language but also a field that can stand on its own. I recommend it over Mac Lane's CWM if you're not a mathematician.

[1] https://topos.site/ [2] https://arxiv.org/abs/1803.05316

[ Parent | on HN ]
Re:Applied Category Theory in Chemistry, Computing, and Soci... by jesuslop on Tuesday November 01, 2022 @03:21PM (#33426098)
Agreed on the institute and Spivak. But CWM is, er, for working mathematicians. Leinster's Basic Category Theory, or Awodey Category theory are more unassuming.
[ Parent | on HN ]
Re:Applied Category Theory in Chemistry, Computing, and Soci... by lgdw on Tuesday November 01, 2022 @03:34PM (#33426287)
Yes, that's why I recommend starting out with 7 Sketches.
[ Parent | on HN ]
Re:Applied Category Theory in Chemistry, Computing, and Soci... by jesuslop on Wednesday November 02, 2022 @10:27AM (#33436354)
Right, my mistake.
[ Parent | on HN ]
Re:Applied Category Theory in Chemistry, Computing, and Soci... by zozbot234 on Tuesday November 01, 2022 @03:57PM (#33426629)
The nLab https://ncatlab.org/nlab/show/HomePage is a useful reference for category theory terminology and results.
[ Parent | on HN ]