TallCat

Compositional Systems and Methods group at TalTech. Supported by the ESF funded Estonian IT Academy research measure (project 2014-2020.4.05.19-0001).

• Pawel Sobocinski.
• Fosco Loregian.
• Edward Morehouse.
• Elena Di Lavore.
• Nathan Haydon.
• Chad Nester.
• Mario Román.

Friends and visitors

• Jules Hedges
• João de Paixão
• Eigil Rischel
• Nick Behr
• Fabio Zanasi

Seminars

• Seminars

Courses

• Functional Programming (ITI0212).
• Introduction to Category Theory and its applications (ITI9200).

Group stuff

• Git server

Publications

• Nathan Haydon, Paweł Sobociński, “Compositional Diagrammatic First-Order Logic”. In peer review.

• Elena Di Lavore, Jules Hedges, Paweł Sobociński, “Open games on Open Graphs”. In preparation.

• Chad Nester, “A Foundation for Ledger Structures”. In peer review.

• 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”. FoSSaCS 2020, to appear.

• Nicolas Behr and Paweł Sobociński, “Rule Algebras for Adhesive Categories”. In peer review.

• Filippo Bonchi, Jens Seeber and Paweł Sobociński, “Cartesian Bicategories with Choice”. In peer review.