> I find it strange that HoTT and HoTT-adjacent stuff gets posted here so often. I don't have any dog in this fight, but I also find it super interesting that

> I find it strange that HoTT and HoTT-adjacent stuff gets posted here so often. I don't have any dog in this fight, but I also find it super interesting that this topic gets to the 1st page so often. TBH I think answering that question is more interesting that litigating foundations.