Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore and Mario Román. Arquimedes Canedo (Siemens Corporate Technology), John Baez, Centre for Quantum Technologies, Tai-Danae Bradley, City University of New York, Valeria de Paiva, Samsung Research America and University of Birmingham, Brendan Fong, Massachusetts Institute of Technology, Tobias Fritz, Perimeter Institute for Theoretical Physics, Amar Hadzihasanovic, IRIF, Université de Paris, Helle Hvid Hansen, Delft University of Technology, Jules Hedges, Max Planck Institute for Mathematics in the Sciences, Kathryn Hess Bellwald, Ecole Polytechnique Fédérale de Lausanne, Chris Heunen, The University of Edinburgh, David Jaz Myers, Johns Hopkins University, Daniela Petrisan, University of Paris, IRIF, Todd Trimble, Western Connecticut State University, Christina Vasilakopoulou, University of Patras. Applied Category Theory Category theory (CT) originated as a subdiscipline of pure mathematics, with a historical strength in unifying disparate mathematical areas to transport proofs and constructions … All participants can gather and chat on a dedicated Zulip channel throughout the conference. The application of category theory in these domains can take different forms. We seek submissions of either original research papers or extended abstracts of work submitted/accepted/published elsewhere. YouTube introduces a short delay to the stream so that video and sound quality will be smooth; the one-way broadcasting means that large audience numbers will not impact the quality of the stream. As explained on theACT 2018 workshop webpage,...we should treat the use of categorical concepts as a natural part of transferring and integrating knowledge across disciplines. For more information, please contact the school organizers. These sessions are meant for attendees who are newer to the subject and who may not yet have the background to get the most out of the main conference sessions. Dmitry Vagner, David I. Spivak and Evan Patterson. You can apply optimization theory, for example, by noticing that a problem has a certain form, and therefore a certain algorithm will converge to a solution. Category theory (CT) originated as a subdiscipline of pure mathematics, with a historical strength in unifying disparate mathematical areas to transport proofs and constructions between them. Both activities this … The 3rd annual international Applied Category Theory Conference will take place online July 6 – 10, 2020. Giovanni de Felice, Alexis Toumi and Bob Coecke. The program will consist of the following components: The talks will take place on Zoom, and be simultaneously live-streamed on YouTube Live; they will remain on YouTube (not live) for watching after the event. We'll use this list to send out links for accessing the online platform, as well as for planning purposes and email updates. We will consider advanced undergraduates, PhD students, post-docs, as well as people working outside of academia. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. but one should be comfortable working with mathematics. 16:00 – 17:00     Perrone's tutorial (Zoom). For an archive of old newsletters, click here. Micah Halter, Evan Patterson, Andrew Baas and James Fairbanks. The Yoneda lemma in the category of Matrices, 09:00 – 10:00     Spivak's tutorial (Zoom) The background and experience of our members is as varied as the systems being studied. Rooms: During the values session we discussed this ACT Community Statement of Values, which was subsequently endorsed by the ACT Conference Steering Board. Discussion rooms will be available for participants to join throughout the conference, where they can engage in public discussions and interact with new people. 14:00 – 15:00     Riehl's tutorial (Zoom) Tutors will introduce aspects of basic category theory that have concrete applications. This is emphatically not restricted to math students, A working group was formed to create a community code of conduct for future meetings, and to do further work to help us align with these values. Recent developments have expanded CT’s applicability to areas such as economics, engineering, linguistics, knowledge representation, database theory, and machine learning. Georgios Bakirtzis, Christina Vasilakopoulou and Cody Fleming. As in the past two years, we are organizing an Applied Category Theory conference and an adjoint school. There will be a tutorial day on Sunday July 5, involving four 60-minute sessions. Profunctor Optics, a Categorical Update (Extended abstract), Compositional Scientific Computing with Catlab and SemanticModels, Bifibrations of Polycategories and Classical Linear Logic, Distribution functors, second-order stochastic dominance and the Blackwell--Sherman--Stein Theorem in Categorical Probability, Double Categories of Open Dynamical Systems, Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality, Cyber Kittens, or First Steps Towards Categorical Cybernetics, Categorification of algebraic quantum field theories, A Generic Figures Reconstruction of Peirce's Existential Graphs (Alpha), Gandy Machines Made Easy via Category Theory, Behavioral Mereology: A Modal Logic for Passing Constraints, Wiring diagrams as normal forms for computing in symmetric monoidal categories, Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits, Poly: An abundant categorical setting for mode-dependent dynamics, Categorical Stochastic Processes and Likelihood, A Compositional Sheaf-Theoretic Framework for Event-Based Systems, Products in a category with only one object, Computational Adequacy for Substructural Lambda Calculi, The linear-non-linear substitution 2-monad, Categorical semantics of a simple differential programming language, A diagrammatic approach to symmetric lenses, Dualizing Sup-preserving endomaps of a complete lattice, Functorial Language Games for Question Answering, Compositional Cyber-Physical Systems Modeling, The more legs the merrier: A new composition for symmetric (multi-)lenses, The Safari of Update Structures: Visiting the Lens and Quantum Enclosures, Symmetric Monoidal Categories with Attributes, Compositional Game Theory, Compositionally, Proof Theory of Partially Normal Skew Monoidal Categories, A Monad for Probabilistic Point Processes, Main Conference: Monday July 6 to Friday July 10. ACT 2020 follows ACT 2018 in Leiden, and ACT 2019 in Oxford. Brendan Fong, David Jaz Myers and David I. Spivak. The chair will moderate, feeding questions from the Zoom and Zulip chats to the speaker, leading to a moderated discussion-like atmosphere. "Category theory is a branch of mathematics originally developed to transport ideas from one branch of mathematics to another, e.g. Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni and Gijs Wijnholds. Accepted original research papers will be invited for publication in a proceedings volume. We view CT as a high-leverage way to level up research in these areas as well as to facilitate interdisciplinary discourse. Applied category theory is a topic of interest for a growing community of researchers, interested in studying many different kinds of systems using category-theoretic tools. Knowledge of basic category, theoretic language, the definition of monoidal category for example, is encouraged. in the mathematics and computer science communities, are especially encouraged to apply. Click here to register your intention to participate. It will be from topology to algebra. If interested, please fill out this form so we know a little about you. Matthew Wilson, James Hefford, Guillaume Boisseau and Vincent Wang. But this same organizational framework also has many compelling examples outside … In some cases the formalization of the domain into the language of category theory is the goal, the idea here being that this would elucidate the important struc… Messages can be sent publicly and privately, and public threads are permanently available so discussions can talk place asynchronously if necessary. The conference will include a industry showcase. Giovanni de Felice, Elena Di Lavore, Mario Román and Alexis Toumi. Mathematics > Category Theory. Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger. The Adjoint School is an annual week-long collaborative research event, in which junior researchers work on cutting-edge arXiv:1803.05316 (math) [Submitted on 14 Mar 2018 , last revised 12 Oct 2018 (this version, v3)] Title: Seven Sketches in Compositionality: An Invitation to Applied Category Theory. Gioele Zardini, David I. Spivak, Andrea Censi and Emilio Frazzoli. preceded by the Adjoint School 2020 from June 29 to July 3, and a tutorial day on Sunday July 5. applied category theory (ACT) refers to in these notes. Rocco Gangle, Gianluca Caterina and Fernando Tohme. Download PDF Abstract: This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The research part of the school will be held during the week June 29-July 3, 2020. topics in applied category theory, guided by expert mentors. Anyone, from anywhere in the world, who is interested in applying category-theoretic methods to problems outside of pure mathematics. Compositional semantics have been shown for machine-learning algorithms [FST18] and open games [Hed18]; at SYCO 1, remarks were made noting the high degree of overlap in character and analogy between the constructions, and that there is known to be a monoidal embedding from the category of learners to the category of games, but it remained unclear exactly what kind of structure they both are.