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