Home > News > Egbert Rijke: Type theoretical Yoneda lemma

Egbert Rijke: Type theoretical Yoneda lemma

Date: 2. 4. 2012
Source: 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.