Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Różowski, and Paul Wild. “Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.” CONCUR 2024. Also available on arXiv abs/2404.19632
Barbara Giunti, John S. Nolan, Nina Otter, and Lukas Waas. “Amplitudes in persistence theory.” ArXiv abs/2107.09036 (2023).
Di Lavore, Elena, Wilmer Leal and Valeria de Paiva. “Dialectica Petri nets.” ArXiv abs/2105.12801 (2021).
Chollet, Emma, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang and Gioele Zardini. “Limits and colimits in a category of lenses.” (2021).
Constantin, Carmen, Tobias Fritz, Paolo Perrone and Brandon Shapiro. “Weak cartesian properties of simplicial sets.” (2021).
Constantin, Carmen, Paolo Perrone, Tobias Fritz and Brandon Shapiro. “Partial Evaluations and the Compositional Structure of the Bar Construction.” arXiv: Category Theory (2020).
Backens, Miriam, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski and John van de Wetering. “There and back again: A circuit extraction tale.” Quantum 5 (2021): 421.
Clarke, Bryce, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore and Mario Román. “Profunctor optics, a categorical update.” Compositionality 6, 1 (2024), ArXiv abs/2001.07488 (2020).
Shiebler, Dan, Alexis Toumi and Mehrnoosh Sadrzadeh. “Incremental Monoidal Grammars.” ArXiv abs/2001.02296 (2020).
McPheat, Lachlan, Mehrnoosh Sadrzadeh, Hadi Wazni and Gijs Jasper Wijnholds. “Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality.” ACT (2020).
Fong, Brendan and Maru Sarazola. “A recipe for black box functors.” arXiv: Category Theory (2018).
Baez, John C., Blake S. Pollard, Jonathan Lorand and Maru Sarazola. “Biochemical Coupling Through Emergent Conservation Laws.” arXiv: Molecular Networks (2018).
Bradley, Tai-Danae, Martha Lewis, Jade Master and Brad Theilman. “Translating and Evolving: Towards a Model of Language Change in DisCoCat.” CAPNS@QI (2018).