Egbert Rijke: Quotients and isomorphism theorems in type theory

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.