All Questions
Tagged with universe-polymorphism univalence
1
question
8
votes
1
answer
228
views
Is there any universe polymorphic version of univalence?
People would say in univalent type theory, anything you defined for types should respect equivalence since univalence told you equivalence equivalent to equality. But that's not correct. Only ...