## July 22, 2019

### Applied Category Theory 2019 Talks

#### Posted by John Baez

Applied Category Theory 2019 happened last week! It was very exciting: about 120 people attended, and they’re pushing forward to apply category theory in many different directions. The topics ranged from ultra-abstract to ultra-concrete, sometimes in the same talk.

Now the Applied Category Theory 2019 school is about to start. But we shouldn’t let the momentum built up at the conference dissipate.

The talks at ACT2019 are listed above — click for a more readable version. Here you can read what Jules Hedges and I wrote about all those talks:

I tend to give terse summaries of the talks, with links to the original papers or slides. Jules tends to give his impressions of their overall significance. They’re nicely complementary.

You can also see videos of some talks, created by Jelle Herold with help from Fabrizio Genovese. They’re all here.

Posted at July 22, 2019 8:02 AM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3128

### Re: Applied Category Theory 2019 Talks

I like that the project of rederiving quantum theory from a new set of axioms is considered “applied” now — that is a thing I have wondered about, off and on, for several years.

Posted by: Blake Stacey on July 22, 2019 11:58 PM | Permalink | Reply to this

### Re: Applied Category Theory 2019 Talks

On a bibliographic note, van de Wetering’s extended abstract cites a paper by Barnum, Müller and Ududec (arXiv:1403.4147), to which there was recently an update:

• H. Barnum and J. Hilgert, “Strongly symmetric spectral convex bodies are Jordan algebra state spaces,” arXiv:1904.03753 (2019).

The follow-up shows that one of the postulates invoked in Barnum–Müller–Ududec (2014) is actually redundant. It’s a bit of a pity, too: That postulate was one for which I had a little more fondness than the rest.

Posted by: Blake Stacey on July 23, 2019 12:08 AM | Permalink | Reply to this

### Re: Applied Category Theory 2019 Talks

As I seem to be on a lifelong mission to expand people’s minds regarding the term “applied mathematics”, let me point out that since

category theory $\subseteq$ mathematics,

it follows that in any reasonable world,

applied category theory $\subseteq$ applied mathematics.

So every one of the talks listed here —

— deserves to be classified as “applied mathematics”, even though very few mathematics departments in the world would recognize them as such.

Long live inclusivity!

Posted by: Tom Leinster on July 24, 2019 3:56 AM | Permalink | Reply to this

Post a New Comment