Hellenic-Romanian Logic and Computation Seminar

http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.ht 

Monday 20th of April at 18.00 GR/RO time 

Title: Monads and enrichment in double categories 

Speaker: Prof. Christina Vassilakopoulou (NTUA) 

HRLogicComputSeminar#1
Monday, April 20 · 6:00 – 7:00pm
Time zone: Europe/Bucharest
Google Meet joining info
Video call link: https://meet.google.com/ujj-bauv-qeq

HRLogicComputSeminar#2
Monday, April 20 · 7:00 – 8:00pm
Time zone: Europe/Bucharest
Google Meet joining info
Video call link: https://meet.google.com/zye-jaug-xvq

Abstract: The classical notion of algebras in the context of k-vector spaces or R-modules generalize in a natural way to a suitable notion of `monad’ in a higher-dimensional categorical structure, that of a double category D. Starting from the base case of a category equipped with a monoidal structure, we will discuss monoids and their dual notion of comonoids therein, and we will extend a folklore result that enriches the space of algebra maps with a comultiplication (using the so-called Sweedler’s `universal measuring coalgebras’) to the double categorical context. Such a process opens paths for further applications involving operads and other related structures, within a general framework that may be called `enriched duality.

Short bio: Christina Vasilakopoulou completed her undergraduate studies in the Department of Mathematics, University of Patras, Greece, and did her masters and PhD in the Department of Pure and Applied Mathematics, University of Cambridge, UK under the supervision of Martin Hyland. After a series of postdoctoral positions (UH Manoa, MIT, AUEB, ULB, UCR, University of Patras) she became an assistant professor in the School of Mathematical and Physical Sciences, National Technical University of Athens, Greece in 2022.  Her research focuses on monoidal categories, double categories and enrichment theory, as well as Hopf algebras and categorical approaches to systems theory.