The topology group at UiB

Homotopy Type Theory and Univalent Foundations
 

The local structure

 

differential topology
 

motivicht
 

gummistrikkgeometri