Proceedings Eighth International Conference on Applied Category Theory

This paper presents the proceedings of the Eighth International Conference on Applied Category Theory (ACT2025), held at the University of Florida in June 2025, which featured a diverse collection of contributions spanning pure and applied disciplines such as computer science, quantum computation, and chemistry.

The Gist

Imagine a massive, high-tech Lego convention, but instead of just building castles, the attendees are using a special set of rules to build everything in the universe—from computer code to chemical reactions and even the laws of physics.

This paper is essentially the official souvenir booklet (the "Proceedings") from the 8th International Gathering of these Master Builders, which took place in June 2025 at the University of Florida.

Here is what happened at this gathering, explained simply:

1. The "Universal Translator"

The main tool these builders use is called Applied Category Theory. Think of it as a "Universal Translator" for math and logic.

• Usually, a chemist speaks "Chemistry" and a computer programmer speaks "Code." They often struggle to understand each other.
• This conference is where they all meet to realize that, deep down, they are building with the same fundamental blocks. The "Category Theory" is the grammar that lets them translate a chemical reaction into a computer program, or a game strategy into a quantum physics equation.

2. The Event Itself

The conference was a mix of different activities, like a festival with different zones:

• The Keynotes (2 talks): Famous experts gave big-picture speeches to set the stage, like headliners at a music festival.
• The Main Stage (28 talks): Regular researchers shared their latest blueprints and discoveries.
• The "Apprentice" Zone (4 talks): Young researchers who had just finished a special training camp (the "Adjoint School") got to show off what they built. It's like letting the students present their final projects to the masters.
• The Community Huddle: There were also online and in-person meetups where everyone just chatted, swapped ideas, and planned future collaborations.

3. What Was Built?

The things presented in this booklet were incredibly diverse. Because this "Universal Translator" is so powerful, the topics ranged wildly:

• Computer Science: Building better software.
• Probability: Figuring out the odds of things happening.
• Chemistry: Understanding how molecules snap together.
• Quantum Computing: Working with the weird, tiny rules of the universe.
• Game Semantics: Analyzing how games (and life) are played strategically.
• String Diagrams: These are like visual flowcharts that look like tangled strings, used to map out complex logic without getting lost in boring equations.

4. The "Souvenir Book"

This specific document is the collection of the best work presented at the conference.

• People submitted their ideas in three ways: written summaries (extended abstracts), live demos of their software, or full research papers.
• This volume contains the full research papers that were accepted. It's the "greatest hits" album of the conference, preserving the ideas so anyone can read them later.

In a nutshell:
This paper is a time capsule of a 2025 meeting where brilliant minds used a single, powerful mathematical language to connect dots between completely different fields like chemistry, gaming, and quantum physics. It proves that even though the problems look different, the underlying logic of how we build and understand the world is often the same.

Technical Summary

Based on the text provided, here is a detailed technical summary of the document. It is important to note that this document is not a research paper presenting a specific scientific problem or experimental results. Instead, it is the preface or introduction to a conference proceedings volume (a collection of papers) for the Eighth International Conference on Applied Category Theory (ACT 2025).

Therefore, the "problem," "methodology," and "results" described below refer to the scope, organization, and output of the conference itself, rather than a single unified study.

Technical Summary: Proceedings of the Eighth International Conference on Applied Category Theory (ACT 2025)

1. Problem / Context

The document addresses the need to formally disseminate and archive the latest research, software tools, and community developments in the field of Applied Category Theory (ACT). As a rapidly evolving interdisciplinary field, ACT requires a centralized venue to bridge the gap between abstract mathematical structures (category theory) and concrete applications in diverse scientific domains. The context is the 8th iteration of this major international conference, held at the University of Florida (June 2–6, 2025), which serves as a critical nexus for researchers to present advancements ranging from pure mathematics to applied computer science and physics.

2. Methodology (Conference Organization & Submission Process)

The "methodology" of this volume is defined by the rigorous selection and organization process of the conference:

• Submission Tracks: The conference utilized a multi-track submission system to categorize contributions:
  1. Extended Abstracts: For presenting theoretical research.
  2. Software Demonstrations: For showcasing practical implementations and tools.
  3. Proceedings: The specific track for full papers accepted into this volume.
• Selection Criteria: Accepted contributions were curated to ensure a balance between pure theoretical developments and applied interdisciplinary work.
• Event Structure: The conference methodology included:
  • 2 Plenary Invited Talks (keynote addresses).
  • 28 Contributed Talks (peer-reviewed research presentations).
  • 4 Talks by Junior Researchers (specifically from the Adjoint School, focusing on research results derived from the school's curriculum).
  • Community engagement via online and general community meetings.

3. Key Contributions

The primary contribution of this document is the compilation of the accepted proceedings, which serves as a snapshot of the state-of-the-art in ACT as of mid-2025. The volume aggregates work across a wide spectrum of disciplines, demonstrating the versatility of category theory as a unifying language. Key thematic areas covered in the contributions include:

• Computer Science: Including game semantics and formal verification.
• Quantum Computation: Applying categorical structures to quantum information and algorithms.
• Probability Theory: Using categorical frameworks to model stochastic processes.
• Chemistry: Applying diagrammatic reasoning to chemical reaction networks.
• String Diagrams: A visual language for morphisms in monoidal categories, central to many talks.
• Education/Training: The inclusion of Adjoint School results highlights the field's commitment to training the next generation of researchers.

4. Results

The immediate "result" of the event described is the publication of this proceedings volume.

• Quantitative Output: The volume contains the full texts of the accepted proceedings track submissions, alongside the 28 contributed talks and 4 junior researcher presentations.
• Qualitative Output: The conference successfully facilitated the exchange of ideas between pure mathematicians and applied scientists, validating the utility of category theory in solving complex problems in fields as diverse as chemistry and quantum computing.
• Community Growth: The inclusion of an online community meeting and Adjoint School presentations indicates a successful expansion of the ACT community, particularly in nurturing junior researchers.

5. Significance

This proceedings volume is significant for several reasons:

• Interdisciplinary Unification: It reinforces the role of Applied Category Theory as a "universal language" capable of modeling systems across disparate fields (from quantum physics to chemistry).
• Resource for Researchers: It provides a centralized, peer-reviewed repository of the latest algorithms, software tools, and theoretical frameworks in the field.
• Historical Record: As the 8th iteration of the conference, it documents the maturation of ACT from a niche mathematical topic into a robust, application-driven research community.
• Accessibility: By including software demonstrations and Adjoint School results, the volume lowers the barrier to entry for practitioners and students, fostering further innovation.

Note on Metadata: The text references arXiv:2603.07595v1, which implies a future date (March 2026) for the arXiv submission, consistent with the conference dates of June 2025. This suggests the document is a formal record of the event intended for archival and citation purposes.