New answers tagged category-theory
Here is a belated reply. (I come across this question only now, by chance. This was posted right when our daughter was born, which was kind of distracting for me...) The quick answer to the question is the following somewhat remarkable statement Identity types in the new foundations of mathematics in homotopy type theory correspond in physics to spaces of ...
Top 50 recent answers are included