Applied Category Theory 2018 – Videos

Some of the talks at Applied Category Theory 2018 were videotaped by the Statebox team. You can watch them on YouTube:

• David Spivak, A higher-order temporal logic for dynamical systems. Book available here and slides here.

• Fabio Zanasi and Bart Jacobs, Categories in Bayesian networks. Paper available here. (Some sound missing; when you hit silence skip forwards to about 15:00.)

• Bob Coecke and Aleks Kissinger, Causality. Paper available here.

• Samson Abramsky, Games and constraint satisfaction, Part 1 and Part 2. Paper available here.

• Dan Ghica, Diagrammatic semantics for digital circuits. Paper available here.

• Kathryn Hess, Towards a categorical approach to neuroscience.

• Tom Leinster, Biodiversity and the theory of magnitude. Papers available here and here.

• John Baez, Props in network theory. Slides available here, paper here and blog article here.

3 Responses to Applied Category Theory 2018 – Videos

  1. Jelle says:

    Hey John,

    Could up update the youtube link to

    https://www.youtube.com/channel/UCUM4xJKlyRkN7po549G0Luw/live

    This link always points at the live feed, the current link is the automatically archived recording from this morning.

    All videos will appear in this playlist after the live broadcast.

    Cheers,
    Jelle

  2. John Baez says:

    I’ve updated this article so it links to all the talks that were recorded, along with papers and/or slides for some.

  3. wires0 says:

    Thanks, I’ve updated the titles & descriptions to match yours. Also updated the playlist with all recordings: https://www.youtube.com/playlist?list=PLE2y3n8EQ6VywrcixgTKyGHFI4A68FYSk

    It was a great workshop, good seeing everyone!

You can use Markdown or HTML in your comments. You can also use LaTeX, like this: $latex E = m c^2 $. The word 'latex' comes right after the first dollar sign, with a space after it.

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s