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

Egbert Rijke: Type theoretical Yoneda lemma

Date of publication: 2. 4. 2012
Mathematics and theoretical computing seminar
Torek, 3. 4. 2012, od 12h do 14h, Plemljev seminar
We shall formulate the Yoneda lemma in the context of homotopy type theory, prove it, and investigate some of its consequences.
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
Thu
6
Nov
Dario Stein: Categories of Relations which Compose Independently
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
23
Oct
Andrew Swan: The cohomology of the natural numbers in cubical assemblies
Mathematics and theoretical computing seminar
10:15 - Jadranska 21, učilnica 3.07
Thu
16
Oct
David E. Narvaez: Separating and Collapsing Electoral Control Types, More Formally
Mathematics and theoretical computing seminar
10:00 - Jadranska 21, učilnica 3.07

All news