Is there a paper accompanying this talk? https://www.mpim-bonn.mpg.de/de/node/6499 (The quaternionic Hopf fibration in HoTT via a modified Cayley-Dickson construction)
=> More informations about this toot | View the thread | More toots from trebor@types.pl
text/geminiThis content has been proxied by September (3851b).