A video of the whole talk is available here.
And his textbook on the new univalent foundations of mathematics in homotopy type theory is here.
It is misleading to attribute that book solely to Voevodsky.
Yes. But it’s forgiveably misleading to attribute it non-exclusively to him, in a thread of comments which was started about him.
A video of the whole talk is available here.
And his textbook on the new univalent foundations of mathematics in homotopy type theory is here.
It is misleading to attribute that book solely to Voevodsky.
Yes. But it’s forgiveably misleading to attribute it non-exclusively to him, in a thread of comments which was started about him.