The MO thread has almost nothing to do with homotopy type theory. It is mostly about homotopy theory in its role as a traditional topic in math. Its timeline

The MO thread has almost nothing to do with homotopy type theory. It is mostly about homotopy theory in its role as a traditional topic in math. Its timeline goes all the way back to the 19th century. Algebraic geometry and topology has simply been very active subject areas the whole time. It is what a LOT of mathematicians work on, and it is probably the biggest general subject area on MO.