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.

2018-10-12T13:00 2018-10-12T14:00 Menno de Boer: The Gluing Construction for Path Categories Menno de Boer: The Gluing Construction for Path Categories
Top page top