3 ms·
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).
by tome 13y 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).