You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Davi Sales Barreira (Jun 29 2022 at 11:29):Hello, friends.
Recently, @Spencer Breiner shared his paper on CT applied to the problem of open-shop scheduling (I'm still trying to understand this paper).
I was wondering what are other examples of papers focused on "real world applications" of CT. I mean, many applied Category Theory examples are more in terms of "applied math".
The other examples of what I'm talking about (that I'm aware of), are: CT for Databases, and CT for epidemiology modelling.
John Baez (Jun 29 2022 at 23:12):Category theory is being used in a couple of somewhat different ways in quantum computing. For example there's the ZX calculus, based on string diagrams for symmetric monoidal categories, which I believe is used by the company Cambridge Quantum. And there's a lot of work on modular tensor categories for topological quantum computing, which is being pursued by Microsoft's Project Q.
John Baez (Jun 29 2022 at 23:17):I hope you attend some talks online at Applied Category Theory 2022, or at least read the abstracts. That should give you an overview of what people are doing in applied category theory, including "applied" applied category theory.
By the way I slightly prefer Nicolas Behr's term "EXACT" - meaning "executable applied category theory".