← Back to context

Comment by ajkjk

1 year ago

I'm not talking about charts of R^3; I'm talking about the different isomorphic constructions of products like ((a, b), c) and (a, (b, c)) as being a sort of 'choice of coordinate system' on the isomorphic class of objects.

yes, and these choices dont matter individually, but how these choices glue together does, in fact, depend on all of them collectively.