Seven Sketches in Compositionality: An Invitation to Applied Category Theory

This seems like a needlesly defensive answer. If there are no examples then just say so. It is mathematics after all, some of it is beautiful to explore just for its own sake, no examples or applications neccesary. But claiming a technique is a bridge between disparate areas of…

cirpisSep 7, 2024View on HNParent context

How about https://arxiv.org/abs/1803.05316?

lgasMar 10, 2023View on HNParent context

As I understand it, submissions are moderated (albeit lightly -- not to the degree of formal peer review). So, since it's on the arXiv, we can assume that the moderators felt it belongs there. I've seen a number of other book-length items on the arXiv before, including e.g.…

TwisolDec 25, 2022View on HNParent context

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…

lgdwNov 1, 2022View on HNParent context

https://arxiv.org/abs/1803.05316

co_dhMay 14, 2022View on HNParent context

I’m currently taking a category theory course based on Fong & Spivak’s textbook An Invitation to Applied Category Theory [1] and this reminds me of chapter 3 which introduces functors and natural transformations by way of using them to describe schemas, database instances and…

jkhdigitalOct 22, 2021View on HNParent context

I would recommend "Seven Sketches in Compositionality", as it does not progressively get harder, but each chapter starts off very easily. So you can catch up, if you got lost. It is available here: https://arxiv.org/abs/1803.05316

hkoppSep 16, 2021View on HNParent context

Newer work from the same author: Seven Sketches in Compositionality: An Invitation to Applied Category Theory https://arxiv.org/abs/1803.05316

zozbot234Apr 29, 2021View on HNParent context

If you’re curious about this stuff and don’t know where to begin, the first chapter of Fong & Spivak, “An Invitation to Applied Category Theory: Seven Sketches in Compositionality” [1] also introduces category-theoretic ideas using partial orders. Edit: After the Fong & Spivak…

benrbrayApr 1, 2021View on HNParent context

I have a disclaimer. I'm not an expert in category theory at all. However, my primary background is in mathematics and I've "looked over the basics" as they say. If you'll allow me to dodge the question just a little bit, I'd recommend that you dive in and see what it feels like…

mathcassFeb 3, 2021View on HNParent context

This has probably been posted before but since Category Theory has been popping up every once in a while I thought I'd share this. I'm just starting this and the instructors' [book](https://arxiv.org/abs/1803.05316) here, and the subject is very approachable even for biologists…

FishysoupAug 31, 2020View on HNParent context

link to read online: https://arxiv.org/pdf/1803.05316.pdf

shaunxcodeJul 4, 2020View on HNParent context

I initially decided against posting the video because the thread has a small amount of discussion. Mainly the link to related work: Seven Sketches in Compositionality, https://arxiv.org/abs/1803.05316 Edit: previously on HN: https://news.ycombinator.com/item?id=20376325

KinranyMay 3, 2020View on HNParent context

David Spivak and Brendan Fong have been doing lots of work at MIT to evangelize applied category theory. See their recent books/classes: Seven Sketches in Compositionality: An Invitation to Applied Category Theory https://arxiv.org/abs/1803.05316 Applied Category Theory…

gsjbjtApr 7, 2020View on HNParent context

As a Lisper, I love Clojure and all Rich Hickey does. However, Haskell and categories seem to offer quite appealing approaches to compositionality: http://conal.net/talks/compiling-to-categories.pdf https://arxiv.org/abs/1803.05316

nextosJan 14, 2020View on HNParent context

What kinds of graphs? There are a number of graphical representations that turn out to be incredibly useful in category theory, but they're far from equivalent. IIRC, https://arxiv.org/abs/1803.05316 introduces some of them.

zozbot234Jan 1, 2020View on HNParent context

Going to finish Crime and Punishment, Year of the Monkey (Patti Smith), The Children of Húrin (along with many cross references and letters) (Tolkien), re-reading A Game of Thrones for fun... as for 2020 I might read Slaughterhouse 5 again and work through George Sand. Technical…

agentultraDec 16, 2019View on HNParent context

aside from 3Blue1Brown : I think category theory will give you an unique point of view of math, also basic logic and philosophy are very important for a good and solid foundation on math intuition. https://arxiv.org/abs/1803.05316 along with their youtube lectures. very basic…

ltr_Aug 27, 2019View on HNParent context

I am currently reading it, it is very nicely written and accessible. Each chapter starts off gently so you can skip to the next whenever you feel lost, only to come back later. So far: introduction/preorders, monoidal preorders/wiring diagrams, categories/application to database…

chombierApr 20, 2019View on HNParent context

The mnemonic value of "operators" as reminders of properties such as associativity or commutativity interestingly extends to diagrammatic reasoning. A diagram is really just a generalized expression, and this becomes quite useful when one has to deal with more than one "type" or…

0815testMar 16, 2019View on HNParent context

Somewhat less of a "textbook", but good at showing applications of category theory - Fong, Spivak: Seven Sketches in Compositionality https://arxiv.org/abs/1803.05316 (Notably, this includes application to a "graphical" treatment of fairly-elementary linear algebra, which a…

zozbot123Feb 10, 2019View on HNParent context