Lawvere memorial meeting in Tallinn.
Tallinn, Friday 3 March 2023, 10:30—17:00 EET (UTC +2).
Organised by the Laboratory for Compositional Systems and Methods.
Location.
Room 101, Department of Software Science, Building of Cybernetics
Tallinn University of Technology
Akadeemia tee 21/1, 12618 Tallinn, Estonia
The meeting can also be attended on Zoom.
Please contact the organiser for a link.
Programme.
- 10:30—11:30. Joachim Kock. Lawvere's universal Hopf algebra.
- 11:30—12:10. Matt Earnshaw. Natural structure and the dialectic of concept formation.
- 12:10—12:30. Clémence Chanavat. Lawvere's fixed-point theorem.
Lunch break 12:30—14:00.
- 14:00—15:00. Paweł Sobociński. Lawvere's universal algebra.
- 15:00—15:30. Mario Román. From theories to categories.
Short break 15:30—15:45.
- 15:45—16:30. Fosco Loregian. Lawvere's metric spaces.