Niels van der Weide: Construction of certain higher-inductive types as colimits

Datum objave: 13. 3. 2018
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 15. 3. 2018, od 11h do 13h, 3.07 na Jadranski 21
Abstract: I will present ongoing work with Andrej Bauer on how to construct higher-inductive types in homotopy type theory using coequalizers and colimits of telescopes.