[foldr]

>Of course it does, by Voevodsky's Univalence Axiom ;-).

I think this was a joke, right? Just asking because it's hard to tell sometimes on the internet. I didn't see how VUA was particularly relevant but I may be missing something.

It is question-begging in this context to assert that the existence of a physical isomorphism between A and B entails that A and B are identical, since precisely the question at issue in the case of P-zombies is whether or not that's the case.

I took OP to be making an attempt to avoid begging the question by arguing that in general, indistinguishability in a certain very broad sense entails identity, so that without question-beggingly assuming that the existence of a physical isomorphism entails identity, we could non-question-beggingly argue from indistinguishability to identity. In other words, rather than arguing that P-zombies couldn't differ in any way from us because they're physically identical to us (which just begs the question), the argument would be that they couldn't differ in any way from us because they're indistinguishable from us.