Robuta

https://abdn.elsevierpure.com/en/publications/the-homotopy-type-of-the-cobordism-category/ The homotopy type of the cobordism category - The University of Aberdeen Research Portal homotopy type aberdeen research cobordism category university https://elo.mastermath.nl/course/info.php?id=979 Course information | Homotopy Type Theory - M2 - 8EC | Mastermath homotopy type theory course information