My activity on this blog has been reduced to nil recently because I have been spending my time preparing a series of lectures on homotopy type theory, starting from basic principles and ending with the application of univalence and higher inductive types to algebraic topology. 100 more words
Tags » Hott
Just goes to show how powerful im becoming all naturally ….. I am so hott and so smart.. WOW..
BEST SINCE 1999