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

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

Datum objave: 13. 3. 2018
Vir: Seminar za osnove matematike in teoretičnega računalništva
Č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.