Ideas & society2018 · shared on Hacker News

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Explore Seven Sketches in Compositionality: An Invitation to Applied Category Theory, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.

Read original

The conversation around the idea.

Original Hacker News threads. Different perspectives, questions, and things worth thinking about.

Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.

Links found in the discussion

Up to 50 recent source links, in HN item order.

Yblululu ·

Ask HN: What are you learning?

865 points876 comments
Ylelf ·

Applied Category Theory

508 points106 comments
Yellinoora ·

Ask HN: Books you plan to read in 2020?

421 points320 comments
Yfluroblue ·

Ask HN: Best resources to gain math intuition?

389 points89 comments
Yandyjohnson0 ·

Ask HN: Recommend a maths book for a teenager?

297 points187 comments
Yedwintorok ·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

294 points36 comments
Ybmc7505 ·

Category theory is a universal modeling language

214 points91 comments
Ytodsacerdoti ·

Category Theory: Orders

212 points52 comments
Yjoe_poole ·

A monad is a monoid in the category of endofunctors, what’s the problem?

203 points105 comments
Ys16h ·

Why Operators Are Useful

178 points167 comments
Ymindcrime ·

Knowledge Graphs

160 points28 comments
Ytosh ·

Thinking in an array language

141 points66 comments
Ylarve ·

Applied category theory in chemistry, computing, and social networks [pdf]

135 points58 comments
Ylouthy ·

Infinity Category Theory Offers a Bird’s-Eye View of Mathematics

130 points52 comments
Ydpatru ·

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)

102 points29 comments
YKinrany ·

Applied Category Theory (2019) [video]

91 points20 comments
Ytosh ·

Design, Composition and Performance (2013)

37 points4 comments
Yebcode ·

The Theory of Topos-Theoretic 'Bridges' – A Conceptual Introduction (2016)

21 points4 comments
Yjesuslop ·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

4 points0 comments
Ybgavran ·

Category Theory ∩ Machine Learning

3 points0 comments
Ydaoudc ·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

2 points0 comments
Yadamnemecek ·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

2 points0 comments
YFishysoup ·

Programming with Categories

2 points1 comments
Yescot ·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

2 points0 comments
Ytosh ·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

2 points0 comments
Yeuler1729 ·

Introduction to Homotopy Type Theory

2 points0 comments
Yingve ·

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

1 points0 comments
Yjxub ·

An Invitation to Applied Category Theory

1 points1 comments
Ythe_only_law ·

Ask HN: What mathematical background do I need to understand category theory?

1 points1 comments

One idea leads to another.

Explore more papers