Seven Sketches in Compositionality

What Hacker News says

1. funktourSep 2024
   yo let me help you out a little and recommend some resources. here are some series free on youtube: David Spivak and Brendan Fong did a lecture series on their book, Seven Sketches in Compositionality, you can find it on the "Topos Institute" youtube channel. "The Catsters" also have a great introductory series. as far as straight textbooks go, the only intro ones I recommend are 1) Awodey, 2) Riehl, and 3) Seven Sketches.

   and one last general tip: categories are simultaneous generalizations of monoids and posets, so whenever you don't understand something, try working it out in the cases where there's only one object (= monoid) or when there's at most one arrow between a pair of objects (= poset)

   Show morethread
2. cirpisSep 2024
   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 mathematics and then subsequently failing to give concrete examples of such bridging is a bit odd, dont you think?

   For what its worth the book "7 sketches in compositionality" (https://arxiv.org/abs/1803.05316) has a chapter on topos theory which provides a good introduction with some simple examples!

   Show morethread
3. lgasMar 2023
   How about https://arxiv.org/abs/1803.05316?
   thread
4. lgdwNov 2022
   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

   Show morethread
5. ybogomolovJun 2022
   Definitely “Seven Sketches in Compositionality”! [1]

   ———

   [1] https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf

   thread
6. co_dhMay 2022
   https://arxiv.org/abs/1803.05316
   thread