Here’s the program for this conference:
• Symposium on Compositional Structures 4, 22–23 May, 2019, Chapman University, California. Organized by Alexander Kurz.
A lot of my students and collaborators are speaking here! The meeting will take place in Beckman Hall 101.
Wednesday May 22, 2019
• 10:30–11:30 — Registration.
• 11:30–12:30 — John Baez, “Props in Network Theory“.
• 12:30–1:00 — Jade Master, “Generalized Petri Nets”.
• 1:00–2:00 — Lunch.
• 2:00–2:30 — Christian Williams, “Enriched Lawvere Theories for Operational Semantics”.
• 2:30–3:00 — Kenny Courser, “Structured Cospans”.
• 3:00–3:30 — Daniel Cicala, “Rewriting Structured Cospans”.
• 3:30–4:00 — Break.
• 4:00–4:30 — Samuel Balco and Alexander Kurz, “Nominal String Diagrams”.
• 4:30–5:00 — Jeffrey Morton, “2-Group Actions and Double Categories”.
• 5:00–5:30 — Michael Shulman, “All (∞,1)-Toposes Have Strict Univalent Universes”.
• 5:30–6:30 — Reception.
Thursday May 23, 2019
• 9:30–10:30 — Nina Otter, “A Unified Framework for Equivalences in Social Networks”.
• 10:30–11:00 — Kohei Kishida, Soroush Rafiee Rad, Joshua Sack and Shengyang Zhong, “Categorical Equivalence between Orthocomplemented Quantales and Complete Orthomodular Lattices”.
• 11:00–11:30 — Break.
• 11:30–12:00 — Cole Comfort, “Circuit Relations for Real Stabilizers: Towards TOF+H”.
• 12:00–12:30 — Owen Biesel, “Duality for Algebras of the Connected Planar Wiring Diagrams Operad”.
• 12:30–1:00 — Joe Moeller and Christina Vasilakopoulou, “Monoidal Grothendieck Construction”.
• 1:00–2:00 — Lunch.
• 2:00–3:00 — Tobias Fritz, “Categorical Probability: Results and Challenges”.
• 3:00–3:30 — Harsh Beohar and Sebastian Küpper, “Bisimulation Maps in Presheaf Categories”.
• 3:30–4:00 — Break.
• 4:00–4:30 — Benjamin MacAdam, Jonathan Gallagher and Rory Lucyshyn-Wright, “Scalars in Tangent Categories”.
• 4:30–5:00 — Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, “Towards Formalizing and Extending Differential Programming via Tangent Categories”.
• 5:00–5:30 — David Sprunger and Shin-Ya Katsumata, “Differential Categories, Recurrent Neural Networks, and Machine Learning”.
Here’s my talk for SYCO4 next week:
• Props in network theory.
My grad student Christian Williams and I finished this paper just in time for him to talk about it at SYCO:
• John Baez and Christian Williams, Enriched Lawvere theories for operational semantics.
My grad student Joe Moeller is talking at the 4th Symposium on Compositional Structures this Thursday! He’ll talk about his work with Christina Vasilakopolou, a postdoc here at U.C.R.:
• Joe Moeller, Monoidal Grothendieck construction, SYCO4, Chapman University, 22 May 2019.
My grad student Kenny Courser gave a talk at the 4th Symposium on Compositional Structures. He spoke about his work with Christina Vasilakopolou and me. We’ve come up with a theory that can handle a broad class of open systems, from electrical circuits to chemical reaction networks to Markov processes and Petri nets. The idea is to treat open systems as morphisms in a category of a particular kind: a ‘structured cospan category’.
Here is his talk:
• Kenny Courser, Structured cospans.