# Egbert Rijke: Quotients and isomorphism theorems in type theory

Date: 10. 4. 2012

Source: Mathematics and theoretical computing seminar

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.**