Menno de Boer: The Gluing Construction for Path Categories
Time: Fri 2018-10-12 13.00 - 14.00
Lecturer: Menno de Boer
Location: Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University
Abstract: For my master's thesis a studied a construction on Path Categories called the gluing construction. I will give an introduction to these categories as well as mention some known properties. After this I will give the gluing construction and my results regarding the existence of homotopic universal constructions, which can be seen as a
homotopic counterpart to for instance exponentials or a natural numbers object. Although the motivation for these categories is mainly type theoretic, this talk will only demand knowledge of basic category theory.