What is Applied Category Theory? · HackerPapers discussions

What is Applied Category Theory? — HN submission

Tue, 26 Sep 2023 01:07:32 GMT

What Is Applied Category Theory?

6 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.

What is Applied Category Theory? — mentioned by contravariant

Sat, 22 May 2021 23:57:38 GMT

Yeah it's not ideal. Also with the current preference for category theory it would probably make more sense to not phrase E as a subset of NxN but rather to define two functions pre: E -> N and post: E -> N. You could then choose to add labels as either an additional function label: E -> L, or as several graphs layered on top of one another (especially helpful when you view each graph as an arrow N -> N, which in turn makes more sense when you have several different classes of nodes). If anyone's interested I'm loosely basing this description on the description of petri nets as outlined in…

Paper and discussion history. A mention is not an endorsement.

What is Applied Category Theory? — HN submission

Wed, 03 Feb 2021 06:01:51 GMT

What Is Applied Category Theory? (2018)

202 points; 68 discussion replies on HN. Paper and source history. A submission is not an endorsement.

What is Applied Category Theory? — mentioned by mikhailfranco

Fri, 29 May 2020 11:46:32 GMT

This beautiful booklet my Tai-Danae Bradley also contains hand-drawn diagrams: https://arxiv.org/pdf/1809.05923.pdf It is set using the Tufte LaTeX template: https://twitter.com/math3ma/status/1042569522056716289 https://www.overleaf.com/gallery/tagged/tufte

Paper and discussion history. A mention is not an endorsement.

What is Applied Category Theory? — mentioned by Twisol

Mon, 06 Apr 2020 07:44:20 GMT

I'm no expert, so the best I can do is point you to the research community gathering around applied category theory. * A conference series + workshop: https://www.appliedcategorytheory.org/ * A journal: https://compositionality-journal.org/ Check out some of the people involved in organizing these events. Names I've followed include John Baez, Pawel Sobocinski, and Tai-Danae Bradley (all of whom are amazing educators; check out their work!). Tai-Danae Bradley wrote a pamphlet on applied category theory which is very approachable: https://arxiv.org/pdf/1809.05923.pdf . Also check out Jules…

Paper and discussion history. A mention is not an endorsement.

What is Applied Category Theory? — mentioned by westoncb

Wed, 25 Dec 2019 00:21:51 GMT

The clearest and most concise treatment I've come across on how Category Theory is used is Tai-Danae Bradley's "What is Applied Category Theory": https://arxiv.org/abs/1809.05923 (It's a 50 page PDF) Unfortunately the examples aren't within CS, but at least for me personally, seeing it clearly applied in any context was the most important thing. It may be a good pre-req for looking at (or conjuring up your own) more detailed applications within CS specifically. Also, if you like that, Tai-Danae Bradley has more writing at: https://www.math3ma.com/

Paper and discussion history. A mention is not an endorsement.

What is Applied Category Theory? — mentioned by foxes

Sat, 21 Sep 2019 04:03:27 GMT

For those wanting these ideas described in a more mathematical "language" [0-1] are a good start. If you are interested in studying objects and how they compose, you are probably interested in category theory. [0] https://golem.ph.utexas.edu/category/2018/02/linguistics_usi... https://arxiv.org/pdf/1809.05923.pdf [1] https://arxiv.org/pdf/1809.05923.pdf

Paper and discussion history. A mention is not an endorsement.

What is Applied Category Theory? — HN submission

Fri, 31 May 2019 22:11:45 GMT

What Is Applied Category Theory? [pdf]

4 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

What is Applied Category Theory? — HN submission

Fri, 17 May 2019 19:03:19 GMT

What Is Applied Category Theory?

4 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

What is Applied Category Theory? — HN submission

Thu, 16 May 2019 17:44:31 GMT

What Is Applied Category Theory?

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

What is Applied Category Theory? — mentioned by ssivark

Fri, 19 Apr 2019 21:42:13 GMT

Tai-Danae Bradley has a very nice write-up called "What is applied category theory?" -- https://arxiv.org/abs/1809.05923 Among the more readable category theory resources I'm currently reading.

Paper and discussion history. A mention is not an endorsement.