Blog posts
Papers
- 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).