Egbert Rijke: The Circle in the Category of Groupoids
Source: Mathematics and theoretical computing seminar
Abstract: In this first seminar talk of the semester we will introduce the circle from a type theoretical point of view. This allows for an interpretation of the circle in any model of type theory with identity types. Among those models is the category of groupoids. Our aim in this talk is to find the circle there.