ACT@UCR Seminar (Part 2)

The spring 2020 seminar on applied category theory at U.C. Riverside is done! Here you can see videos of all the talks, along with talk slides, discussions and more:

• John Baez: Structured cospans and double categories.

• Prakash Panangaden: A categorical view of conditional expectation.

• Jules Hedges: Open games: the long road to practical applications.

• Michael Shulman: Star-autonomous envelopes.

• Gershom Bazerman: A localic approach to the semantics of dependency, conflict, and concurrency.

• Sarah Rovner-Frydman: Separation logic through a new lens.

• Tai-Danae Bradley: Formal concepts vs. eigenvectors of density operators.

• Gordon Plotkin: A complete axiomatisation of partial differentiation.

• Simon Willerton: The Legendre–Fenchel transform from a category theoretic perspective.

• Nina Otter: Values and inclusivity in the applied category theory community.

Thanks to everyone for participating in this!

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: Logo

You are commenting using your 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 )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.