Home > News > Egbert Rijke: The Circle in the Category of Groupoids

Egbert Rijke: The Circle in the Category of Groupoids

Date: 27. 2. 2012
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!