Nichts gefunden?

Teilen Sie uns mit, welche Inhalte Sie auf unseren Seiten vermissen.

Cell Complexes in Homotopy Type Theory
Speaker: Chenyi Yang

'In this thesis we study the theory of CW-complexes in a synthetic way. We first
introduced some important concepts of Homotopy Type Theory and used them to
define cell complexes as a homotopical pushout. After that, we have proven some
topological properties of CW-complexes and calculated the homotopy groups of
some examples with methods in type theory.'

Date : Thu, Jul 18

Time: 16:15

Place: SR 7