arXiv:1809.05923math.CT
This is a collection of introductory, expository notes on applied category theory, inspired by the 2018 Applied Category Theory Workshop, and in these notes we take a leisurely stroll through two themes (functorial semantics and compositionality), two constructions (monoidal categories and decorated cospans) and two examples (chemical reaction networks and natural language processing) within the field.
Linked by 6 identifiable commenters in 6 comments across 6 threads, from Apr 2019 to May 2021. Found in 5 HN submissions from May 2019 to Sep 2023. Open submission discussions.
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
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…
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…
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...…
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.
Connected through shared HN threads, not inferred similarity or a recommendation.
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…
contravariantView on HNParent context