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.
John Baez (Jun 27 2020 at 21:29):Here is the program for the ACT2020 conference, which will take place Monday July 7th to Friday July 10th after the adjoint school and tutorial day:
John Baez (Jun 27 2020 at 21:31):All talks will be live on Zoom here. Recorded versions should appear on YouTube later.
John Baez (Jun 27 2020 at 21:31):Here are the talks! They come in three kinds: keynotes, regular presentations and short industry presentations. Within each I've listed them in alphabetical order by speaker: I believe the first author is the speaker.
This is gonna be fun.
John Baez (Jun 27 2020 at 21:31):Keynote presentations (35 minutes)
Henry Adams, Johnathan Bush and Joshua Mirth, Operations on metric thickenings.
Nicolas Blanco and Noam Zeilberger: Bifibrations of polycategories and classical linear logic.
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore and Mario Román: Profunctor optics, a categorical update.
Tobias Fritz, Tomáš Gonda, Paolo Perrone and Eigil Rischel: Distribution functors, second-order stochastic dominance and the Blackwell--Sherman--Stein Theorem in categorical probability.
Micah Halter, Evan Patterson, Andrew Baas and James Fairbanks: Compositional scientific computing with Catlab and SemanticModels.
Joachim Kock: Whole-grain Petri nets and processes.
Andre Kornell, Bert Lindenhovius and Michael Mislove: Quantum CPOs.
Martha Lewis: Towards logical negation in compositional distributional semantics.
Jade Master and John Baez: Open Petri nets.
Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni and Gijs Wijnholds, Categorical vector space semantics for Lambek calculus with a relevant modality.
David Jaz Myers: Double categories of open dynamical systems.
Toby St Clere Smithe, Cyber Kittens, or first steps towards categorical cybernetics.
John Baez (Jun 27 2020 at 21:32):Regular presentations (20 minutes)
Robert Atkey, Bruno Gavranović, Neil Ghani, Clemens Kupke, Jeremy Ledent and Fredrik Nordvall Forsberg: Compositional game theory, compositionally.
John Baez and Kenny Courser: Coarse-graining open Markov processes.
Georgios Bakirtzis, Christina Vasilakopoulou and Cody Fleming, Compositional Cyber-physical systems modeling.
Marco Benini, Marco Perin, Alexander Alexander Schenkel and Lukas Woike: Categorification of algebraic quantum field theories.
Daniel Cicala: Rewriting structured cospans.
Bryce Clarke: A diagrammatic approach to symmetric lenses.
Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi, Stefano Gogioso and Nicolo Chiappori: Quantum natural language processing.
Geoffrey Cruttwell, Jonathan Gallagher and Dorette Pronk: Categorical semantics of a simple differential programming language.
Swaraj Dash and Sam Staton: A monad for probabilistic point processes.
Giovanni de Felice, Elena Di Lavore, Mario Román and Alexis Toumi: Functorial language games for question answering.
Giovanni de Felice, Alexis Toumi and Bob Coecke: DisCoPy: monoidal categories in Python.
Brendan Fong, David Jaz Myers and David I. Spivak: Behavioral mereology: a modal logic for passing constraints.
Rocco Gangle, Gianluca Caterina and Fernando Tohme, A generic figures reconstruction of Peirce's existential graphs (alpha).
Jules Hedges and Philipp Zahn: Open games in practice.
Jules Hedges: Non-compositionality in categorical systems theory.
Michael Johnson and Robert Rosebrugh, The more legs the merrier: A new composition for symmetric (multi-)lenses.
Joe Moeller, John Baez and John Foley: Petri nets with catalysts.
John Nolan and Spencer Breiner, Symmetric monoidal categories with attributes.
Joseph Razavi and Andrea Schalk: Gandy machines made easy via category theory.
Callum Reader: Measures and enriched categories.
Mario Román: Open diagrams via coend calculus.
Luigi Santocanale, Dualizing sup-preserving endomaps of a complete lattice.
Dan Shiebler: Categorical stochastic processes and likelihood.
Richard Statman, Products in a category with only one object.
David I. Spivak: Poly: An abundant categorical setting for mode-dependent dynamics.
Christine Tasson and Martin Hyland, The linear-non-linear substitution 2-monad.
Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger: Proof theory of partially normal skew monoidal categories.
Dmitry Vagner, David I. Spivak and Evan Patterson: Wiring diagrams as normal forms for computing in symmetric monoidal categories.
Matthew Wilson, James Hefford, Guillaume Boisseau and Vincent Wang: The safari of update structures: visiting the lens and quantum enclosures.
Paul Wilson and Fabio Zanasi: Reverse derivative ascent: a categorical approach to learning Boolean circuits.
Vladimir Zamdzhiev: Computational adequacy for substructural lambda calculi.
Gioele Zardini, David I. Spivak, Andrea Censi and Emilio Frazzoli: A compositional sheaf-theoretic framework for event-based systems.
John Baez (Jun 27 2020 at 21:32):Industry presentations (8 minutes)
Arquimedes Canedo (Siemens Corporate Technology).
Brendan Fong (Topos Institute).
Jelle Herold (Statebox): Industrial strength CT.
Steve Huntsman (BAE): Inhabiting the value proposition for category theory.
Ilyas Khan (Cambridge Quantum Computing).
Alan Ransil (Protocol Labs): Compositional data structures for the decentralized web.
Alberto Speranzon (Honeywell).
Ryan Wisnesky (Conexus): Categorical informatics at scale.
Jules Hedges (Jun 27 2020 at 21:53):Well, I just learned that regular talks are 20 minutes instead of 30.... it's really hard to do a good talk that short....
James Wood (Jun 27 2020 at 22:22):Are the abstracts available?
John Baez (Jun 27 2020 at 22:23):Maybe not yet. Everything you can get, you get on the ACT2020 website.
Bob Haugen (Jun 27 2020 at 23:23):Jules Hedges said:
Well, I just learned that regular talks are 20 minutes instead of 30.... it's really hard to do a good talk that short....
I'm very interested in Open games in practice so if you do an expanded version, I'm in.
Bob Haugen (Jun 27 2020 at 23:24):Likewise Industrial strength CT and Categorical informatics at scale, both of which are scheduled for 8 minutes...
Evan Patterson (Jun 28 2020 at 00:34):It looks like there are now two ACT 2020 streams, #ACT2020 (this one) and #ACT 2020. Should they be merged together?
John Baez (Jun 28 2020 at 07:46):Hmm, when I try to move this stream into that one, that one doesn't show up on the list of streams.
John Baez (Jun 28 2020 at 07:48):But when I try to move that stream into this this one, both show up on the list of streams!
So I moved that one to this one, #ACT2020. Sorry for the confusion.
Oliver Shetler (Jun 28 2020 at 21:44):Will ACT 2020 be open to everyone, or is it by invitation?
John Baez (Jun 28 2020 at 22:14):It's open to everyone! If people advertise an academic conference and don't say anything about invitations or fees, it means you can go. And for this one, that just means going to
https://mit.zoom.us/j/7055345747
once the conference has started.
Oliver Shetler (Jun 28 2020 at 22:34):John Baez said:
It's open to everyone! If people advertise an academic conference and don't say anything about invitations or fees, it means you can go. And for this one, that just means going to
https://mit.zoom.us/j/7055345747
once the conference has started.
Lol, the default name for the room is "David Spivak's Personal Meeting...[something that runs over the edge]"
Thanks for the info! Looking forward to it!
John Baez (Jun 28 2020 at 22:37):Well, David is running the conference... :slight_smile:
John Baez (Jun 29 2020 at 05:23):Thanks - I'll fix that.
Paolo Perrone (Jun 29 2020 at 20:30):Rongmin Lu said:
John Baez said:
But when I try to move that stream into this this one, both show up on the list of streams!
So I moved that one to this one, #ACT2020. Sorry for the confusion.
There are a few "Tutorial" topics at #ACT 2020 that are still there.
Moved them. By the way, the "old" stream may have still links pointing to it.
Mike Shulman (Jun 29 2020 at 23:38):Has anyone created a google calendar for the ACT 2020 program?
John Baez (Jun 30 2020 at 00:48):I haven't seen one. Just this PDF version of the ACT2020 program.
Jules Hedges (Jun 30 2020 at 16:50):@Paolo Perrone I think it's waaay too late for me to be suggesting this, but it would (have been) great for the school groups to say hi and present their work to the conference in some organised way. (I think we didn't do it last year and I regretted that and then totally forgot about it)
Jules Hedges (Jun 30 2020 at 16:51):I suddenly realised I have no idea who's even in the ACT school class of 2020
John Baez (Jun 30 2020 at 18:37):"it would (have been) great for the school groups to say hi and present their work to the conference in some organised way." Yes, that would have been good. Please remind me about it at the business meeting for next year's ACT if I forget!
Brendan Fong (Jun 30 2020 at 20:26):Mike Shulman said:
Has anyone created a google calendar for the ACT 2020 program?
Not as far as I know. Would it be significantly more helpful? (I don't use Google Calendar.) If anyone does want to create one, we'd be happy to share it on the website.
Paolo Perrone (Jun 30 2020 at 22:47):Jules Hedges said:
Paolo Perrone I think it's waaay too late for me to be suggesting this, but it would (have been) great for the school groups to say hi and present their work to the conference in some organised way. (I think we didn't do it last year and I regretted that and then totally forgot about it)
Right, good idea! Let me ask the committe...
Bruno Gavranović (Jul 07 2020 at 22:22):Brendan Fong said:
Mike Shulman said:
Has anyone created a google calendar for the ACT 2020 program?
Not as far as I know. Would it be significantly more helpful? (I don't use Google Calendar.) If anyone does want to create one, we'd be happy to share it on the website.
For me it would definitely have been useful not to have to manually convert timezones (since Google calendar does that automatically). But now I've already done it on paper (and the conference is already almost half-way through), so...
Bruno Gavranović (Jul 07 2020 at 22:27):Jules Hedges said:
I suddenly realised I have no idea who's even in the ACT school class of 2020
Yeah I was actually very curious to see and hear what happened in this year's school. I hope it's not too late for that
John Baez (Jul 07 2020 at 22:34):Yeah, it's bad that we haven't gotten to meet them or hear what they did.
Paolo Perrone (Jul 07 2020 at 22:58):Jules Hedges said:
Paolo Perrone I think it's waaay too late for me to be suggesting this, but it would (have been) great for the school groups to say hi and present their work to the conference in some organised way. (I think we didn't do it last year and I regretted that and then totally forgot about it)
aaaand it's going to happen! :)
Tomorrow, during the poster session, one of the rooms will be dedicated to the ACT school. https://meet.jit.si/ACT2020-School
John Baez (Jul 07 2020 at 22:59):Yay!
Paolo Perrone (Jul 08 2020 at 02:06):I'll repost it here.
Here is where all the live streams can be found: https://www.youtube.com/playlist?list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q
Here is where all the recordings will go: https://www.youtube.com/playlist?list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI
Here is where all the tutorials can be found: https://www.youtube.com/playlist?list=PLCOXjXDLt3pYPE63bVbsVfA41_wa3sZOh
Julio Song (Jul 08 2020 at 02:12):Thanks a lot, @Paolo! I had to miss a good part of the conference yesterday due to meeting clashes. It's great to have the chance to catch up with the help of the videos! :-)