Seminarium, Doktorand
Lö 27 november - Fr 31 december
-
Seminarium, Doktorand
fredag 2021-12-03, 13.15 - 14.15
Medverkande: Errol Yuksel (Stockholm University)
Plats: Kräftriket, House 5, Room 32
2021-12-03T13:15:00.000+01:00 2021-12-03T14:15:00.000+01:00 Errol Yuksel: Coherence in monoidal categories via type theory (Seminarium, Doktorand) Kräftriket, House 5, Room 32 (KTH, Stockholm, Sweden)Errol Yuksel: Coherence in monoidal categories via type theory (Seminarium, Doktorand) -
Seminarium, Doktorand
fredag 2021-12-10, 13.15 - 14.15
Medverkande: Erik Nilsson (KTH)
Plats: KTH, 3721 and Zoom (meeting ID: 685 7849 8723)
2021-12-10T13:15:00.000+01:00 2021-12-10T14:15:00.000+01:00 Erik Nilsson: Finite element category theory and why (Seminarium, Doktorand) KTH, 3721 and Zoom (meeting ID: 685 7849 8723) (KTH, Stockholm, Sweden) Erik Nilsson: Finite element category theory and why (Seminarium, Doktorand)