This guy is unbelievably French (I mean in his intellectual character). Here I was expecting a kind of rehash of the 20th century movements of pure math and high modernism[0], but instead we get a frankly Hegelian concept of math or at least a Hegel filtered through 20th and 21st century French philosophy.

[0]https://news.ycombinator.com/item?id=41962944