julesh on Nostr: Studying HoTT is all cool and good, but they keep trying to redefine standard ...

Studying HoTT is all cool and good, but they keep trying to redefine standard terminology in nonstandard ways that don't make sense in most models