4 ms·
I don't think you intended "propositionally" equal in your final sentence. Equality is data in HoTT. If you take the propositional truncation then you usually t
by hash-no-gal-fld 4y ago
I don't think you intended "propositionally" equal in your final sentence. Equality is data in HoTT. If you take the propositional truncation then you usually throw away too much.
- ebingdom 4y agoYeah, I only meant as opposed to judgmental equality, not the quality of being a proposition.