- Louis Lemonnier. Non-Cartesian Guarded Recursion with Daggers
- Antonio Lorenzin and Fabio Zanasi. Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
- Harrison Bennett and Amin Farjudian. Robustness Analysis via Horofunction Compactification
- Peter Hanukaev and Harley Eades III. A unification of graded and substructural logics
- Ralph Sarkis and Fabio Zanasi. Complete Diagrammatic Axiomatisations of Relative Entropy
- Chad Nester and Niels Voorneveld. A Simple Categorical Calculus of Interacting Processes
- Fahimeh Bayeh, Peng Fu and Peter Selinger. The category of nominal sets is locally Clouston closed
- Evan Cavallo and Jonas Höfer. Univalence without function extensionality
- Matteo Mio and Colin Riba. Compact Quantitative Equational Theories as Monad Restrictions
- Matthew Earnshaw, Chad Nester and Mario Román. Monoidal categories graded by partial commutative monoids
- Ariel Grunfeld and Liron Cohen. Multicategorical Semantics for Untyped Effects
- Richard Garner, Alyssa Renata and Nicolas Wu. Stone Duality for Monads
- Peter Mosses, Jesper Cockx and Bernhard Reus. Mechanising Denotational Semantics in Agda
- Hugo Paquet and Glynn Winskel. Concurrent Strategies as Street Fibrations
- Cipriano Junior Cioffo, Davide Trotta and Fabio Gadducci. Between Markov and restriction. Two more monads on categories for relations.
- Ana Sokolova and Harald Woracek. Convex algebras with monotone semicontinuous operations
- Federico Olimpieri, Paul-André Melliès and Lionel Vaux Auclair. An explicit shuffle construction of the homotopy span model of linear logic
- Nachiappan Valliappan. Cover Semantics for Intuitionistic Modalities