The topology group at UiB

Homotopy Type Theory and Univalent Foundations
 

differential topology
 

differential topology
 

The local structure

 

motivicht
 

gummistrikkgeometri