Compositional Systems and Methods group at TalTech.
Compositional Systems and Methods group at TalTech. Supported by the ESF funded Estonian IT Academy research measure (project 2014-2020.4.05.19-0001).
Ivan Di Liberti, Fosco Loregian, Accessibility and presentability in 2-categories, Journal of Pure and Applied Algebra, Volume 227, Issue 1, 2023, 107155, ISSN 0022-4049.
Fabrizio Genovese, Fosco Loregian, Caterina Puca; "Fibrational linguistics: language acquisition". Applied Category Theory 2022.
Fosco Loregian, Todd Trimble; "Differential 2-rigs". Applied Category Theory 2022.
Chad Nester; "A Variety Theorem for Relational Universal Algebra". RAMICS 2021.
Chad Nester; "Situated Transition Systems". ACT 2021.
Fabrizio Genovese, Fosco Loregian, Daniele Palombi; "A Categorical Semantics for Bounded Petri Nets". Applied Category Theory 2021.
Fosco Loregian, Théo de Oliveira Santos; "Coends of higher arity". Appl Categor Struct 30, 173–221 (2022).
Fabrizio Genovese, Jelle Herold, Fosco Loregian, Daniele Palombi; "A Categorical Semantics for Hierarchical Petri Nets". Accepted for GCM2021.
Chad Nester; "The Structure of Concurrent Process Histories". COORDINATION 2021.
Fabrizio Genovese, Fosco Loregian, Daniele Palombi; "Nets with Mana: A Framework for Chemical Reaction Modelling". Accepted for ICGT2021.
Amar Hadzihasanovic, “The smash product of monoidal theories”. Extended abstract accepted for LICS 2021.
Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński; "Functorial Semantics for Partial Theories". POPL 2021.
Nathan Haydon, Paweł Sobociński, “Compositional Diagrammatic First-Order Logic”. Accepted for Diagrams 2020.
Elena Di Lavore, Jules Hedges, Paweł Sobociński, “Compositional modelling of network games”. Accepted for CSL 2021.
Chad Nester, “A Foundation for Ledger Structures”. Tokenomics 2020.
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore and Mario Román, “Profunctor optics, a categorical update”.
Filippo Bonchi, Robin Piedeleu, Paweł Sobociński and Fabio Zanasi, “Contextual Equivalence for Signal Flow Graphs”. Accepted for FoSSaCS 2020.
Nicolas Behr and Paweł Sobociński, “Rule Algebras for Adhesive Categories”. Accepted for publication in Logical Methods in Computer Science.
Filippo Bonchi, Jens Seeber and Paweł Sobociński, “Cartesian Bicategories with Choice”. In peer review.
Filippo Bonchi, Paweł Sobociński and Fabio Zanasi, “Compositional semantics of signal flow graphs: a survey”. In preparation.
Ahti-Veikko Pietarinen, Fracesco Bellucci, Angelina Bobrova, Nathan Haydon and Mohammad Shafiei, “The Blot”. Accepted for Diagrams 2020.