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.
Kevin Carlson (Feb 10 2026 at 00:01):Hi everyone,
@Mohamed Barakat, @Kris Brown, and I invite your submission to the session Computational Category Theory [1] at the International Congress on Mathematical Software [2] this 20-23 July, 2026, at the University of Waterloo in Waterloo, Ontario, Canada. The session abstract is appended below.
At this time we are requesting short abstracts for a 20-minute presentation. After acceptance, there will be an opportunity to submit an extended abstract for publication in the conference proceedings. There is no requirement to submit an extended abstract in order to speak.
The deadline for short abstracts is March 1, 2026.
Submissions will be accepted at cct_icms2026@topos.institute. You can send any further inquiries to the same address.
If you have students, colleagues, or other contacts who you feel would be a good fit for the session, please feel free to forward this call to them. We look forward to seeing you in Waterloo!
[1] https://homalg-project.github.io/cct-icms-2026/
[2] https://icms-conference.org/2026/index.html
Kevin Carlson (Feb 10 2026 at 00:01):Session abstract:
This workshop brings together researchers in computational category theory who contribute theoretically to the design of algorithms and practically to the development of advanced software systems. Unlike traditional category theory meetings (theoretical and applied), this workshop will primarily focus on algorithms and existing software ecosystems like (CatLab.jl, CAP project, CatColab, CQL, Lambeq, 1Lab, …). The scope will range from computational methods in classical mathematical disciplines, such as algebraic geometry and representation theory, to applications in functional programming and type theory, all the way to established topics in applied category theory, including categorical and higher categorical rewriting, databases, quantum computing, string-diagrammatic programming, topological data analysis, numerical optimization, and agent-based modeling. The program will mix brief research talks, software demonstrations, and a plenary overview. The goal is to share recent work, clarify connections between theory and tools, and encourage practical collaborations and follow-up projects.