# 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.