# Egbert Rijke: The Circle in the Category of Groupoids

Date: 27. 2. 2012

Source: Mathematics and theoretical computing seminar

Source: Mathematics and theoretical computing seminar

Torek, 28. 2. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19

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

Vabljeni!