×
Studying Physics Studying Mathematics Research The Faculty SL
Events News Staff Directory Timetables For staff Search

Egbert Rijke: The Circle in the Category of Groupoids

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

Thu
11
Dec
Katja Berčič: Databases of mathematical structures for formalization and AI
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07
Thu
4
Dec
Luna Strah: Heyting-valued Types
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
27
Nov
Andrej Bauer: Oracle modalities
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
20
Nov
Alex Simpson: Independent pullbacks and monoidal structure
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, 3.07

All news