Hacker News new | ask | show | jobs
by tome 4737 days ago
It will be easier to convince mathematicians that homotopy theory is maths than it will be to convince them that type theory is (in general).