I am not a fan of HOTT, as nobody managed to explain to me its supposed advantages in terms that didn't border on mysticism. Anyway, your question is very inte

I am not a fan of HOTT, as nobody managed to explain to me its supposed advantages in terms that didn't border on mysticism. Anyway, your question is very interesting! :-)