Home > News > Egbert Rijke: Quotients and isomorphism theorems in type theory

Egbert Rijke: Quotients and isomorphism theorems in type theory

Date: 10. 4. 2012
Source: Mathematics and theoretical computing seminar
Torek, 10. 4. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19
We will introduce quotient spaces as higher inductive spaces and find variants of the familiar isomorphism theorems of algebra. The theorems we aim to prove this session are the first equivalence theorem and the correspondence theorem. There will also be cake.